Hei.
Gitt oppgaven:
Prove that the set of all rational numbers, [tex]\mathbb{Q}[/tex], is countable.
Vil dette da være en mulig løsning? (Jeg er redd jeg har gjort det litt for enkelt):
Gitt settet [tex]\mathbb{Q}[/tex] som består av alle rasjonelle tall. Hvert element i dette settet kan skrives som et ordnet par [tex](a, b)[/tex] ettersom hvert element er på formen [tex]\frac{a}{b}[/tex]. Ettersom elementene [tex]a[/tex] og [tex]b[/tex] tilhører settet med heltall, [tex]\mathbb{Z}[/tex], og vi vet at dette settet er tellbart (countable), vil alle elementene i settet [tex]\mathbb{Q}[/tex] bestå av en union av to elementer fra det tellbare settet [tex]\mathbb{Z}[/tex]. Av dette følger det at også [tex]\mathbb{Q}[/tex] må være tellbart.
(Her kan jeg gjerne også referere til Cantors diagonale prosess, men er dette nødvendig?)
Setter stor pris på kommentarer/innspill.
Kjapt bevis
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
-
- von Neumann
- Innlegg: 525
- Registrert: 03/10-2010 00:32
Det er riktig, men det er også viktig å påpeke at ethvert rasjonalt tall kan skrives som a/b på en unik måte (f.eks den reduserte formen).
Cantor's diagonalargument har lite å gjøre med dette, da det er hva som viser at de reelle tallene ikke er tellbare.
Cantor's diagonalargument har lite å gjøre med dette, da det er hva som viser at de reelle tallene ikke er tellbare.
Takk skal du ha.Charlatan skrev:Det er riktig, men det er også viktig å påpeke at ethvert rasjonalt tall kan skrives som a/b på en unik måte (f.eks den reduserte formen).
Cantor's diagonalargument har lite å gjøre med dette, da det er hva som viser at de reelle tallene ikke er tellbare.
Litt merkelig at man ikke kan bruke Cantor. Jeg har nemlig sett noen forelesningsvideoer i reell analyse fra en professor i USA; og han bruker Cantor til å bevise at Q er tellbart. Dette kan du se på:
http://www.youtube.com/watch?v=mciBPGCv ... grec_index
Fra ca 54 minutter.
Jeg hadde imidlertid lyst til å prøve å bevsie dette på min egen måte .
Takk skal du ha.espen180 skrev:Tror du er på god vei. Et teorem som kan hjelpe deg er at for to mengder gjelder [tex]|A|\geq |B|[/tex] hvis og bare hvis det finnes en injektiv funksjon fra [tex]B[/tex] til [tex]A[/tex].
Jeg har sett i læreboken at det er lett å finne en injektiv funksjon fra N til Z. Og siden elementene i Q består av elementene i Z, så følger vel at Q også må være tellbart.
Den injektive funksjonen er forøvrig at:
[tex]f(n) = \frac{n}{2}[/tex] når [tex]n[/tex] er partall, og:
[tex]f(n) = - \frac{n - 1}{2}[/tex] når [tex]n[/tex] er oddetall.
Her tar vi utgangspunkt i at settet for [tex]\mathbb{Z}[/tex] skrives som:
{0, -1, 1, -2, 2, . ..}.
Sist redigert av krje1980 den 22/08-2011 22:28, redigert 1 gang totalt.
Forresten, du mener vel sannsynligvis at parene er medlemmer av Z * Z (kartesisk produkt) og ikke en union.
Hvis du søker på cantor's diagonalargument så kan du se at det handler om å vise at de reelle tallene ikke er tellbare ved å vise at i enhver liste av reelle tall finnes et reellt tall som ikke er med i listen.
Hvis du vil ha en mer utfordrende oppgave foreslår jeg disse:
En tellbar union av tellbare mengder er tellbar (mengdene trenger ikke være disjunkte).
Et endelig kartesisk produkt av tellbare mengder (som f.eks Z * Z * Q) er tellbart.
Hvis du søker på cantor's diagonalargument så kan du se at det handler om å vise at de reelle tallene ikke er tellbare ved å vise at i enhver liste av reelle tall finnes et reellt tall som ikke er med i listen.
Hvis du vil ha en mer utfordrende oppgave foreslår jeg disse:
En tellbar union av tellbare mengder er tellbar (mengdene trenger ikke være disjunkte).
Et endelig kartesisk produkt av tellbare mengder (som f.eks Z * Z * Q) er tellbart.
Ja, jeg skulle selvsagt ha skrevet kartesisk produkt opprinnelig! Når det gjelder Cantor, så har jeg sett denne bli brukt både til det du beskriver (å bevise at [tex]\mathbb{R}[/tex] ikke er tellbar), men også at f.eks. [tex]\mathbb{Q}[/tex] er det.
Jeg skal se på oppgavene dine i løpet av uken. Har brukt tiden mest til å lese og se på forelesningsvideoer de siste par dagene. I morgen kveld har jeg tenkt å gå løs på oppgaver.
Jeg skal se på oppgavene dine i løpet av uken. Har brukt tiden mest til å lese og se på forelesningsvideoer de siste par dagene. I morgen kveld har jeg tenkt å gå løs på oppgaver.