Laajennettu reaalilukujoukko

Laajennettu reaalilukujoukko on lukujoukko, joka saadaan lisäämällä reaalilukujoukkoon ${\displaystyle \mathbb {R} }$ kaksi uutta elementtiä: positiivinen äärettömyys +∞ eli ∞ ja negatiivinen äärettömyys −∞. ^{[1] [2]} Laajennettua reaalilukujoukkoa voidaan merkitä symbolilla ${\displaystyle {\overline {\mathbb {R} }}}$ tai välinä [−∞, +∞]. Laajennetun reaalilukujoukon geometrinen vastine on laajennettu lukusuora, jossa ajatellaan tavallisen lukusuoran kumpaankin päähän lisätyksi yksi äärettömän kaukainen piste.

Laajennettu reaalilukujoukko on tarpeellinen erityisesti raja-arvotarkasteluissa ja mittateorian sovelluksissa.

Laskutoimitukset

Tavalliset reaalilukujen laskutoimitukset voidaan osittain ottaa käyttöön myös laajennetussa reaalilukujoukossa.

${\displaystyle {\begin{aligned}a+\infty =+\infty +a&=+\infty ,&a&\neq -\infty \\a-\infty =-\infty +a&=-\infty ,&a&\neq +\infty \\a\cdot \pm \infty =\pm \infty \cdot a&=\pm \infty ,&a&\in (0,+\infty ]\\a\cdot \pm \infty =\pm \infty \cdot a&=\mp \infty ,&a&\in [-\infty ,0)\\{\frac {a}{\pm \infty }}&=0,&a&\in \mathbb {R} \\{\frac {\pm \infty }{a}}&=\pm \infty ,&a&\in \mathbb {R} ^{+}\\{\frac {\pm \infty }{a}}&=\mp \infty ,&a&\in \mathbb {R} ^{-}\end{aligned}}}$

Näissä määrittelyissä a + ∞ on sekä a + (+∞) että a − (−∞), ja vastaavasti a − ∞ on sekä a − (+∞) että a + (−∞).

Sen sijaan ∞−∞, ±∞ ÷ ±∞, (±∞)⁰, 0^±∞, 1^±∞ ja (−∞)^±∞ ei tavallisesti ole määritelty. Raja-arvolaskennassa määrittämätön 0 * ±∞ taas määritetään todennäköisyyslaskennassa ja mittateoriassa tavallisesti nollaksi.

Lähteet

Kirjallisuutta

• Rikkonen, Harri: Matematiikan pitkä peruskurssi II: Reaalimuuttujan funktioiden differentiaalilasku. Helsinki: Otakustantamo, 1969. ISBN 951-671-022-0.
• Pitkäranta, Juhani: Calculus Fennicus – TKK:n 1. lukuvuoden laaja matematiikka (2000–2013) (pdf) Helsinki: Avoimet oppimateriaalit ry. ISBN 978-952-7010-12-9 ISBN 978-952-7010-6 (pdf).