Inom matematiken kan ett tal inte delas med noll. Detta uttalande kräver förklaring: det finns skilda skäl till varför division med noll är problematisk och flera olika begrepp som används för att beskriva situationen.

Grundläggande resonemang

En vanlig utgångspunkt är att betrakta multiplikation och division som omvända operationer. Om

A ∗ B = C {\displaystyle A*B=C}

så följer att om B = 0 måste C = 0. Men om man i stället försöker lösa ut A får man

A = C / B {\displaystyle A=C/B}

Om man nu sätter B = 0 hamnar man i två olika fall beroende på C:

  • Om C ≠ 0 försöker man definiera ett tal av formen A/0 där A är icke-noll. Det leder i de vanliga talsystemen till ett meningslöst resultat — man får något som formellt liknar oändligt, men oändligheter fungerar inte som vanliga reella tal i algebraiska likheter.
  • Om C = 0 blir uttrycket 0/0, vilket inte har ett bestämt värde: det är en obestämd form. Ett sådant uttryck kan liknas vid ett uttryck där variabeln A skulle kunna vara vilket tal som helst. Se bilden:

A = 0 / 0 {\displaystyle A=0/0}

Problemet kan illustreras med att A i princip kan vara vilket tal som helst: {\displaystyle A} {\displaystyle A} {\displaystyle A}

Skillnad mellan "obestämd form" och "odefinierad"

  • Obestämd form avser uttryck som 0/0 i samband med gränsvärden i analys. Att formen är obestämd betyder att different värden kan uppnås beroende på hur uttrycket närmar sig situationen — gränsvärdet kan vara ett ändligt tal, oändligt eller saknas helt.
  • Odefinieradoändligt, men det är inte ett giltigt reellt tal.

Användning i analys och gränsvärden

I kalkyl och gränsvärdeslära är 0/0 en central typ av uttryck eftersom många funktioners kvoter kan ge just denna form när variabeln går mot en viss punkt. Sådana fall kräver tekniker för att bestämma gränsvärdet, till exempel förenkling, faktorisering eller L'Hôpitals regel. Ett uttrycks form 0/0 säger endast att man inte utan vidare kan avgöra värdet — man måste studera beteendet hos täljare och nämnare.

Algebraiska och strukturella synsätt

  • I de vanliga strukturerna för reella eller komplexa tal införs ingen operation som ger ett väldefinierat resultat för division med noll.
  • Vissa utökade system (till exempel projektiv talaxel eller Riemannsfärens behandling av komplexa tal) introducerar ett element "∞" för att kunna beskriva gränser och vissa operationer, men dessa konstruktioner är noggrant definierade och division med noll hanteras inte på samma sätt som i algebraen över vanliga tal.
  • Att tillåta division med noll utan försiktighet leder till motsägelser och bryter grundläggande satser (till exempel att om x·y = x·z och x ≠ 0 så y = z). Därför definieras inte sådana operationer i standardmatematiken.

I datorer och programmering

I datorsammanhang kan division med noll ge speciella representanter i flyttalsstandarder. Till exempel följer många system IEEE 754 för flyttalsaritmetik där uttryck med delning av ett icke-noll tal med noll kan ge ett särskilt värde som kallas infinite, medan 0/0 vanligtvis ger NaN (not a number). Dessa är implementationstekniska artefakter som underlättar felhantering men de följer inte de vanliga algebraiska reglerna.

Konsekvenser och vanliga missuppfattningar

  • Att "bevisa" att två olika tal är lika genom att dela med noll är alltid ett feltänk: sådana bevis innehåller en ogiltig division och är därmed förkastbara.
  • Det är felaktigt att hävda att 1/0 = ∞ i vanlig algebra; uttrycket saknar värde i de reella eller komplexa talen.
  • 0/0 är inte ett tal utan ett tecken på att ytterligare analys krävs (till exempel gränsvärdesräkning) för att avgöra om ett meningsfullt limitvärde finns.

Sammanfattning

Division med noll är i standardmatematiken inte definierad. Uttryck av typen A/0 där A ≠ 0 betraktas som odefinierade (de kan beskrivas informellt som divergerande mot något oändligt), medan 0/0 är en obestämd form som i analys kräver undersökning av om ett gränsvärde existerar. Både i teoretiska sammanhang och i praktiska beräkningar är det viktigt att känna igen dessa fall och behandla dem med lämpliga metoder.