1.7 Mengdelære

Å sortere tallenes verden

Forestill deg at du har en enorm samling med tall – alle tall som noensinne er blitt tenkt på. Hvordan holder du orden på dem? Matematikere løste dette for lenge siden ved å lage et system av mengder: samlinger av objekter som deler en bestemt egenskap. En mengde kan inneholde tall, punkter, eller hva som helst annet.

I dette kapittelet skal vi utforske fire store tallfamilier, lære å beskrive deler av tallinja med intervaller, kombinere mengder med union og snitt, fjerne elementer med differanse, og til slutt forstå absoluttverdi – begrepet som handler om avstand. Underveis skal vi bli kjent med symbolene som gjør at matematikere kan uttrykke seg presist og effektivt.

De fire store tallfamiliene

Tenk deg at tallene bor i et leilighetskompleks med fire etasjer. Jo høyere etasje, jo flere tall slipper inn.

I første etasje bor de naturlige tallene, $\mathbb{N} = \{1, 2, 3, 4, 5, ...\}$. Dette er tallene vi lærer først som barn – tellerne, de positive heltallene. Du bruker dem hver gang du teller noe: tre epler, syv venner, tjueen poeng.

I andre etasje bor heltallene, $\mathbb{Z} = \{..., -2, -1, 0, 1, 2, ...\}$. Her slipper vi inn null og de negative tallene. Bokstaven $\mathbb{Z}$ kommer fra det tyske ordet «Zahlen», som betyr tall. Alle naturlige tall er heltall, men heltallene har i tillegg null og minustallene.

Tredje etasje er for de rasjonale tallene, $\mathbb{Q}$. Et rasjonalt tall er ethvert tall som kan skrives som en brøk $\displaystyle \frac{a}{b}$ der $a$ er et heltall og $b$ er et naturlig tall. Hit hører $\displaystyle \frac{1}{2}$, $\displaystyle -\frac{3}{4}$, $0{,}75$ (som er $\displaystyle \frac{3}{4}$), og til og med $5$ (som er $\displaystyle \frac{5}{1}$). Alle heltall er rasjonale, fordi du alltid kan sette $1$ i nevneren.

Øverste etasje er forbeholdt de reelle tallene, $\mathbb{R}$ – alle tall på tallinja. Her finner vi også de irrasjonale tallene, som $\sqrt{2}$, $\pi$ og $e$. Disse tallene har uendelig mange desimaler uten gjentakende mønster, og kan aldri skrives som en brøk. Sammenhengen mellom familiene kan vi skrive slik: $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$. Symbolet $\subset$ betyr «er en delmengde av» – altså at alle tallene i den venstre mengden også finnes i den høyre.

Intervaller – å beskrive deler av tallinja

Nå vet vi hvilke tallfamilier som finnes. Men ofte trenger vi å snakke om en bestemt del av tallinja – for eksempel «alle tall mellom 2 og 7». Da bruker vi intervaller.

Et intervall er en sammenhengende strekning på tallinja, og vi beskriver det med klammer og parenteser. Klammer $[$ og $]$ betyr at endepunktet er med, mens vinkelparenteser $\langle$ og $\rangle$ betyr at endepunktet ikke er med.

La oss se på noen eksempler. $[2, 7]$ betyr alle tall fra og med $2$ til og med $7$, altså $2 \leq x \leq 7$. Derimot betyr $\langle 2, 7 \rangle$ alle tall mellom $2$ og $7$, men uten $2$ og $7$ selv: $2 < x < 7$. Du kan også blande: $[2, 7\rangle$ betyr fra og med $2$ til (men ikke med) $7$, altså $2 \leq x < 7$.

Hva når et intervall strekker seg uendelig langt? Da bruker vi pilsymboler: $\langle 5, \rightarrow \rangle$ betyr alle tall som er større enn $5$, og $\langle \leftarrow, 10]$ betyr alle tall som er mindre enn eller lik $10$. Ved uendelig bruker vi alltid parenteser, aldri klammer – fordi uendelig ikke er et tall vi kan «inkludere».

Her er en huskeregel som kan hjelpe: tenk på klammene som en lukket dør (tallet er inne i mengden) og parentesene som en åpen dør (tallet slipper ikke inn). Så $[-3, 4\rangle$ er et intervall der $-3$ er med (lukket dør til venstre), mens $4$ ikke er med (åpen dør til høyre). Ulikheten som hører til er $-3 \leq x < 4$.

Vi kan også skrive mengder ved å liste opp elementene i klammeparenteser, for eksempel $\{1, 2, 3, 4, 5\}$, eller bruke mengdebyggernotasjon: $\{x \in \mathbb{Z} \mid x > 0 \text{ og } x \leq 5\}$, der $\mid$ betyr «slik at». Begge uttrykker det samme.

Union, snitt og differanse

Nå som vi kan beskrive mengder, er neste steg å kombinere dem. Tenk deg at du har to vennegjengar – gjeng $A$ og gjeng $B$. Noen er bare med i den ene, noen er med i begge.

Unionen $A \cup B$ er alle som er med i minst én av gjengene – det tilsvarer «eller» i dagligspråket. Hvis $A = [2, 6]$ og $B = [4, 9]$, dekker $A$ tallinja fra $2$ til $6$ og $B$ dekker fra $4$ til $9$. Slår vi dem sammen, dekker vi alt fra $2$ til $9$: $A \cup B = [2, 9]$.

Snittet $A \cap B$ er alle som er med i begge gjengene – det tilsvarer «og». Med samme $A$ og $B$ inneholder begge mengdene tallene fra $4$ til $6$: $A \cap B = [4, 6]$.

Differansen $A \setminus B$ er alle som er i $A$ men ikke i $B$ – de som er med i gjeng $A$ men som aldri har blitt med i gjeng $B$. Med $A = [1, 7]$ og $B = [4, 10]$ beholder vi bare den delen av $A$ som $B$ ikke dekker: $A \setminus B = [1, 4\rangle$. Legg merke til den åpne parentesen ved $4$ – akkurat på grensen tipper vi over i $B$, så $4$ selv er ikke med.

La oss ta et eksempel med uendelige intervaller. Sett $A = \langle -\infty, 3]$ og $B = \langle 1, \infty \rangle$. Unionen $A \cup B$ er alle reelle tall $\mathbb{R}$, fordi $A$ dekker alt til og med $3$, og $B$ dekker alt over $1$ – sammen dekker de hele tallinja. Snittet $A \cap B$ er tallene som er i begge: $\langle 1, 3]$, altså tallene som er både større enn $1$ og mindre enn eller lik $3$.

Til slutt: to mengder som ikke overlapper i det hele tatt kalles disjunkte. Da er snittet den tomme mengden $\emptyset$. For eksempel er $[1, 3]$ og $[5, 7]$ disjunkte fordi $[1, 3] \cap [5, 7] = \emptyset$.

Absoluttverdi – avstand på tallinja

Nå skal vi se på et begrep som virker enkelt, men som er overraskende kraftig: absoluttverdien. Absoluttverdien til et tall er rett og slett avstanden fra tallet til null på tallinja. Den skrives med loddrette streker: $|x|$.

Siden avstand alltid er positiv (eller null), er absoluttverdien aldri negativ. $|5| = 5$ fordi $5$ ligger fem enheter fra null. $|-7| = 7$ fordi $-7$ også ligger syv enheter fra null – bare i motsatt retning. Formelt defineres det slik: $|x| = x$ hvis $x \geq 0$, og $|x| = -x$ hvis $x < 0$. Det siste kan forvirre: $-x$ betyr ikke «et negativt tall», det betyr «det motsatte av $x$». Hvis $x = -7$, blir $-x = -(-7) = 7$.

Du kan også ha uttrykk inne i absoluttverditegnene. $|3 - 8| = |-5| = 5$. Regn ut det som er inni først, og ta deretter absoluttverdien.

Hva med regneoperasjoner? $|-2| + |4| = 2 + 4 = 6$. Du tar absoluttverdien av hvert tall for seg, og regner deretter som vanlig. Men vær forsiktig: $|-4| - |-6| = 4 - 6 = -2$. Resultatet av en regning med absoluttverdier kan godt bli negativt – det er bare selve absoluttverdien av ett enkelt tall som aldri er negativ.

Du kan til og med ha absoluttverdier inni absoluttverdier: $||-7| - |3|| = |7 - 3| = |4| = 4$. Regn innenfra og ut, lag for lag.

Når vi kjenner fortegnet til en variabel, kan vi forenkle. Vet vi at $a > 0$, er $|a| = a$ og $|-a| = a$. Dermed er $|a| + |-a| = a + a = 2a$.

Absoluttverdier og mengder – å koble alt sammen

Nå har vi alle brikkene, og det er på tide å se hvordan de henger sammen. Absoluttverdier kan nemlig brukes til å beskrive mengder og intervaller på en elegant måte.

Tenk over hva $|x| < 3$ betyr. Det betyr at avstanden fra $x$ til null er mindre enn $3$. Hvilke tall oppfyller det? Alle tall mellom $-3$ og $3$: $-3 < x < 3$. Som intervall skriver vi det $\langle -3, 3 \rangle$. Absoluttverdien oversetter altså «avstand mindre enn» til et åpent intervall rundt null.

Hva med $|x - 2| < 2$? Nå spør vi: hvilke tall har avstand mindre enn $2$ fra tallet $2$? Vi kan sette opp ulikheten $-2 < x - 2 < 2$, og legger til $2$ på alle sider: $0 < x < 4$. Mengden er $\langle 0, 4 \rangle$.

Nå kan vi kombinere dette med det vi lærte om snitt. La $A = \{x \in \mathbb{R} \mid |x| < 3\} = \langle -3, 3 \rangle$ og $B = \{x \in \mathbb{R} \mid |x - 2| < 2\} = \langle 0, 4 \rangle$. Da er snittet $A \cap B = \langle 0, 3 \rangle$ – tallene som er i begge mengder. Og for å sjekke: hvilke tall er både nærmere enn $3$ fra null og nærmere enn $2$ fra $2$? Nettopp tallene mellom $0$ og $3$.

La oss også repetere de viktigste symbolene vi har lært. $\in$ betyr «er element i» (for eksempel $5 \in \mathbb{N}$). $\notin$ betyr «er ikke element i» (for eksempel $-3 \notin \mathbb{N}$). $\subset$ betyr «er en delmengde av» (for eksempel $\mathbb{N} \subset \mathbb{Z}$). Og $\emptyset$ er den tomme mengden – en mengde uten elementer.

Mengdelære er språket matematikere bruker for å snakke presist om samlinger av tall. Når du behersker intervaller, union, snitt og absoluttverdi, har du et verktøy som kommer til å dukke opp igjen og igjen – i likninger, ulikheter, funksjonsanalyse og langt videre i matematikken.

Oppsummering

I dette kapittelet har vi utforsket mengdelærens viktigste begreper.

Tallmengdene danner et hierarki: de naturlige tallene $\mathbb{N} = \{1, 2, 3, ...\}$ er de enkleste, deretter kommer heltallene $\mathbb{Z}$ (med null og negative tall), de rasjonale tallene $\mathbb{Q}$ (alt som kan skrives som brøk), og til slutt de reelle tallene $\mathbb{R}$ (som også inkluderer irrasjonale tall som $\sqrt{2}$ og $\pi$). Sammenhengen er $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$.

Intervaller lar oss beskrive sammenhengende deler av tallinja. Klammer $[$ og $]$ betyr at endepunktet er med, parenteser $\langle$ og $\rangle$ betyr at det ikke er med. Ved uendelig bruker vi alltid parenteser.

Union ($\cup$) gir oss alle elementer som er i minst én av mengdene. Snitt ($\cap$) gir oss bare elementene som er i begge. Differanse ($A \setminus B$) gir elementene som er i $A$ men ikke i $B$. To mengder uten felles elementer kalles disjunkte, og snittet deres er den tomme mengden $\emptyset$.

Absoluttverdien $|x|$ er avstanden fra $x$ til null på tallinja. Den er alltid positiv eller null. Absoluttverdier kan brukes til å beskrive intervaller: $|x| < a$ svarer til intervallet $\langle -a, a \rangle$, og $|x - c| < r$ beskriver alle tall med avstand mindre enn $r$ fra $c$.