Nollalla jakaminen

**Nollalla jakaminen** tarkoittaa jakolaskua, jossa jakaja on nolla. Muodollisesti tällaista jakolaskua merkitään \frac{a}{0}. Tavallisessa aritmetiikassa \frac{a}{0} ei ole määritelty.

## Algebrallinen tulkinta

Jakolasku määritellään kertolaskun avulla: osamäärä \frac{a}{b} tarkoittaa sitä lukua c, jolla pätee b \cdot c = a. Oletetaan nyt, että a \neq 0. Jakolaskun määritelmän mukaan \frac{a}{0} on se luku c, jolla 0 \cdot c = a. Kuitenkin 0 \cdot c = 0 \neq a riippumatta luvusta c. Siis ei ole olemassa lukua \frac{a}{0}, eli nollalla ei voi jakaa nollasta eroavaa lukua a.

Myöskään nollaa ei voi jakaa nollalla: mikä tahansa luku c toteuttaa yhtälön 0\cdot c=0, joten \frac{0}{0}= c voisi olla mikä reaaliluku hyvänsä. 

## Geometrisen summan avulla

Yksi tapa lähestyä nollalla jakamisen ongelmaa on geometrisen summan 1 + x + x^2 + x^3 + \cdots = \frac{1}{1-x} avulla. Tiedetään että summan suppenemissäde on |x| .

Kun sijoitetaan summaan arvo x = 1, saadaan \frac{1}{1-1} = 1 + 1^2 + 1^3 + \cdots . Koska summa 1 + 1 + 1 + \cdots kasvaa rajatta, suureella \frac{1}{0} ei ole mielekästä arvoa.

## Raja-arvot ja nollalla jakaminen

Nollalla jakamista voi tarkastella myös raja-arvojen avulla. Kun x lähestyy nollaa oikealta puolelta, kasvaa osamäärä 1/x rajoittamattomasti. Kun x lähestyy nollaa vasemmalta puolelta, osamäärä 1/x vähenee rajatta. Jos siis haluttaisiin määritellä nollalla jakaminen lausekkeen 1/x raja-arvona, tulisi osamäärän 1/0 olla yhtä aikaa sekä äärettömän suuri että äärettömän pieni. Tämä on mahdotonta, joten nollalla jakamista ei voi määritellä tälläkään tavalla.

## Nollalla jakamisen seuraukset

Jos sallitaan nollalla jakaminen ja oletetaan, että 0/0 = 1, voidaan todistaa, että esimerkiksi 2 = 1.

Nollan ominaisuuksista johtuen tiedetään että 2 \cdot 0 = 0 ja 1\cdot0 = 0. Näin siis on 2\cdot0 = 1\cdot 0. Jakamalla yhtälö puolittain nollalla saadaan 2\cdot \frac{0}{0}=1\cdot \frac{0}{0}. Siispä 2=1.

Jakamalla nollalla on päädytty selvästi ristiriitaiseen johtopäätökseen. Siis nollalla ei voi jakaa.

## Laajennettu reaaliakseli

Reaaliakseli \R voidaan laajentaa sisältämään alkiot -\infty ja \infty, jotka sopivasti tulkittuna antavat järkevän määritelmän nollalla jakamiselle. Joissain matematiikan aloissa, kuten mittateoriassa, tämä on luontevaa sillä usein eteen tulee funktioita, joille esimerkiksi ääretönarvoisuus olisi selkempää määritellä kuin jättää raja-arvojen varaan.

Määrittelemme, että **laajennettu reaaliakseli** on joukko \bar{\R} = \R \cup \{-\infty\} \cup \{\infty\}, missä -\infty ja \infty ovat alkioita, joille pätee seuraavat ominaisuudet:

* -\infty  kaikilla a \in \mathbb{R} 

* -(\infty) = -\infty ja -(-\infty) = \infty 

* \infty + \infty = \infty ja \infty \cdot \infty = \infty 

* a \cdot \infty = \infty \cdot a = \infty kaikilla a > 0

* a (-\infty) = (-\infty) a = -\infty kaikilla a > 0 

* a \cdot \infty = \infty \cdot a = -\infty kaikilla a 

* a (-\infty) = (-\infty) a = \infty kaikilla a  

* a + \infty = \infty + a = \infty kaikilla a \in \mathbb{R} 

* \infty - a = \infty kaikilla a \in \mathbb{R} 

* a - \infty = -\infty kaikilla a \in \mathbb{R} 

* \frac{a}{\infty} = 0 kaikilla a \in \mathbb{R}\setminus \lbrace 0 \rbrace 

* \frac{a}{0} = \infty kaikilla a > 0 \rbrace

* \frac{a}{0} = -\infty kaikilla a .

Tapauskohtaisesti myös määritellään

* 0 \cdot \infty = \infty \cdot 0 = 0 ja 0 \cdot (-\infty) = (-\infty) \cdot 0 = 0.

Merkinnät

* \frac{\infty}{\infty},

* \frac{\infty}{0}, 

* \frac{0}{\infty}, 

* \infty - \infty ja 

* \frac{0}{0}

eivät ole määritelty joukossa \bar{\R}.

## Nollalla jakaminen ohjelmoinnissa

Tietokoneohjelmoinnissa kokonaislukujen jakolasku, jossa jakaja on nolla, aiheuttaa ohjelman keskeytymisen tai siirtymisen poikkeuskäsittelijään. Liukuluvuilla laskettaessa (hallitsevan IEEE 754 -standardin mukaan) nollia on kaksi: positiivinen nolla ja negatiivinen nolla; näiden voi ajatella kuvaavan esitystarkkuuden rajaa pienempiä lukuja, joista kuitenkin tiedetään etumerkki. Nollalla jakaminen antaa tulokseksi positiivisen äärettömän tai negatiivisen äärettömän riippuen jaettavan ja nollajakajan etumerkeistä. Jos myös jaettava on nolla eli jaetaan nollaa nollalla, tulos on määrittelemätön arvo, jota kutsutaan nimellä Not-a-Number tai lyhenteellä NaN (vakiintumaton suomennos 'epäluku').

## Lähteet