Reaaliluvuista ja itseisarvoyhtälöistä¶
Tässä osioissa perehdytään tarkemmin itseisarvoon sekä itseiarvoyhtälöihin ja -epäyhtälöihin. Lukiostakin ovat tuttuja jo reaaliluvut ja niiden laskutoimitukset \(+\) ja \(\cdot\), reaalilukujen algebralliset ominaisuudet ja niiden järjestys. Kerrataan ne kuitenkin tässä antamalla ne aksioomina, eli oletetaan yksinkertaisesti niiden olevan voimassa. Itseasiassa voidaan osoittaa, että reaalilukujen joukon on toteutettava seuraavat aksioomat
- kunta-aksioomat eli joukon \(\R\) algebralliset ominaisuudet,
- järjestysaksioomat,
- täydellisyysaksiooma (sivuutetaan).
Reaalilukujen aksioomeista saa johdettua useita reaalilukujen ominaisuuksia, jotka yleensä otamme itsestäänselvyyksinä. Esimerkiksi tunnetusti reaalilukujen nolla-alkio ja ykkösalkio ovat yksikäsitteisiä. Osoitetaan tämä esimerkkinä siitä, kuinka kunta-aksioomeista seuraavia ominaisuuksia voidaan todistaa.
Lause 1.4.2
Reaalilukujen joukon \(\R\) nolla-alkio ja ykkösalkio ovat yksikäsitteisiä.
Huomaa, että tämän lauseen todistuksessa esim. merkintä \(0'\) ei suinkaan tarkoita vakiofunktion \(0\) derivaattaa, vaan sillä merkitään mitä tahansa sellaista reaalilukua, jolle on voimassa nolla-alkioon liittyvä ominaisuus. Todistuksessa osoitetaan, että vain alkio \(0\) täyttää tämän ominaisuuden. Tällaisen pilkkumerkinnän käyttö on aika yleistä matemaattisissa todistuksissa.
Olkoot \(0', 1' \in \R\) siten, että \(x + 0' = x\) ja \(x \cdot 1' = x\) kaikilla \(x \in \R\). Ensin valitsemalla \(x = 0\) huomataan, että \(0 + 0' = 0\) ja aksiooman mukaan \(0' + 0 = 0'\), joten vaihdantalain mukaan \(0' + 0 = 0 + 0'\) eli \(0' = 0\). Jos taas valitaan \(x = 1\), niin vastaavasti saadaan, että \(1\cdot 1' = 1\) ja \(1' \cdot 1 = 1'\). Tällöin jälleen soveltamalla vaihdantalakia saadaan \(1 = 1 \cdot 1' = 1' \cdot 1 = 1'\).
Siis nolla- ja ykkösalkio ovat yksikäsitteisiä.
Algebrallisten ominaisuuksien avulla saadaan myös määriteltyä seuraavat tunnetut operaatiot, joista potenssiin tullaan palaamaan myöhemmin alkeisfunktion tapauksessa.
- erotus \(x - y = x + \left( -y \right)\).
- osamäärä \(\frac{x}{y} = x \cdot y^{-1}\).
- potenssi \(x^{n} = x \cdot x \cdot \cdots \cdot x\).
Näistä saadaan helposti pääteltyä seuraavat ominaisuudet joiden todistaminen sivuutetaan. Tämän kurssin kannalta oleellista on siis lähinnä tietää, että tällaiset ominaisuudet ovat olemassa. Ne ovatkin usein sellaisia, että niitä käytämme edes ajattelematta niiden olevan seurausta joistain muista ominaisuuksista.
Lause 1.4.4
Seuraavat väitteet ovat voimassa.
- \(\forall x, y, c \in \R\colon x < y \land c < 0 \Rightarrow cy < cx\).
- \(\forall x \in \R\colon x >0 \Rightarrow x^{-1} > 0\).
- \(\forall x, y \in \R\colon 0 < x < y \Rightarrow 0 < y^{-1} < x^{-1}\).
- \(\forall x \in \R\setminus\{0\} \colon x = \left( x^{-1} \right)^{-1}\).
- \(\forall x, y \in \R\colon x > 0 \land y > 0 \Rightarrow xy > 0\).
- \(\forall x,y,z,q \in \R: x,y,z,q > 0 \land x > y \land z > q \Rightarrow xz > yq \land \frac{x}{q} > \frac{y}{z}\).
Yhteenvetona reaalilukujen ominaisuuksiin liittyen: Käytännössä kaikki reaalilukujen tavalliset ominaisuudet joita lukiossakin on käytetty voidaan johtaa lähtien aksioomista liikkeelle. Tällä kurssilla voidaan ne olettaa tunnetuiksi tai triviaaleiksi (eli yksinkertaisiksi) tapauksiksi eikä niihin välttämättä tarvitse erikseen viitata.
Seuraavaksi määritellään itseisarvo ja siihen liittyvät ominaisuudet.
Huomautus 1.4.6
Kaikilla \(x \in \R\) pätee \(\abs{x} \ge 0\) ja \(\abs{x} = 0\) täsmälleen silloin kun \(x = 0\). Itseisarvo voitaisiin myös määritellä potenssin ja neliöjuuren avulla \(\abs{x} = \sqrt{x^{2} }\). Yleisesti ottaen itseisarvo voidaan ajatella reaaliluvun etäisyytenä nollasta. Tästä nähdään, että itse asiassa jos \(x,y \in \R\), niin silloin \(\abs{x-y}\) kuvaa lukujen etäisyyttä toisiinsa nähden. Nimittäin
Jos lisäksi \(d \in \R_{+}\), niin silloin
Toisin sanoen luvun \(x\) etäisyys luvusta \(y\) on pienempi tai yhtäsuuri kuin \(d\).
Lause 1.4.7
Olkoot \(x,y \in \R\). Itseisarvo toteuttaa seuraavat ominaisuudet.
- \(\abs{-x} = \abs{x}\).
- \(\abs{xy} = \abs{x} \abs{y}\) ja \(\left|\dfrac{x}{y}\right| = \dfrac{\abs{x}}{\abs{y}}\).
Ominaisuuksien todistaminen sivuutetaan.
Esimerkki 1.4.8
Ratkaise \(\abs{2x -12} < 4\) ja \(\left| \frac{4 - 2x}{3} \right| \le 3\).
Ensimmäisestä saadaan
ja toiselle saadaan ratkaisu
Ensimmäinen epäyhtälö oltaisiin voitu myös ratkaista geometrisesti. Nimittäin
Tämä tarkoittaa, että lukujen \(x\) ja \(6\) etäisyys on aidosti vähemmän kuin \(2\), joka ilmenee suoraan kuvasta.
Seuraava lause on tärkeä ymmärtää ja hallita, sillä se on erittäin hyödyllinen työkalu.
Lause 1.4.9 (Kolmioepäyhtälö)
Olkoot \(x,y \in \R\). Tällöin \(\abs{x \pm y} \le \abs{x} + \abs{y}\).
Itseisarvon määritelmän mukaan \(x = \abs{x}\) tai \(x = - \abs{x}\), joten
ja vastaavasti
Laskemalla nämä epäyhtälöt puolittain yhteen saadaan
joten
Yllä olevan avulla saadaan, että
Siis
Lause 1.4.10 (Käänteinen kolmioepäyhtälö)
Olkoot \(x, y \in \R\). Tällöin \(\abs{\abs{x} - \abs{y} } \le \abs{x \pm y}\).
Kolmioepäyhtälön mukaan saadaan
ja
josta edelleen
Siis itseisarvon määritelmän nojalla
Lause 1.4.11
Olkoot \(x, y \in \R\). Tällöin \(\abs{x} < \abs{y}\) jos ja vain jos \(x^{2} < y^{2}\).
Esimerkki 1.4.12
Ratkaise \(\left| \dfrac{x - 1}{x + 1} \right| < 1\).
Edellistä lausetta voidaan käyttää tehtävän ratkaisemiseen. Siis