Det du kan si er at pr. Peanos aksiom
[tex]\forall a\in\mathbb{N}\\\exists S(a)\\\Rightarrow S(a) \g a \Leftrightarrow\mid\mathbb{N}\mid=\infty [/tex]
Hvis det ga mening. Øh, egentlig ville jeg bare prøve LaTeX, så jeg har nok skrevet feil, for jeg vet ikke hva eller hvordan det skal stå Jeg fikk ikke til mellomrom osv.
Bevis for at de fleste naturlige tall er dritstore
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
Ja, takk! Jeg vet ikke om det som står der er skrevet riktig da. For alle tall a i N finnes en funksjon S(a) slik at S(a) er større enn a. Og siden det finnes en uendelig mengde tall i N er der uendelig mange S(a) hvor S(a) er større enn en gitt a.
Og siden ingen tall er større enn uendelig, og uendelig består av uendelig mange uendelig store tall, er der en uendelig mengde sykelig store tall. Mens fra si 1 til hva enn en anser som en definisjon av sinnsvakt svære tall, så vil det alltid være uendelig mange fler sykelig svære tall. En kan vel si at med en gang du tenker på et tall du synes er sjukelig svært finnes det uendelig mange fler enda større. Så beviset i OP holder vann imo
EDIT:
På en annen side, hvis vi tenker at et tall subjektivt kan defineres som bitte lite av F(a), vil alle tall være små hvis vi kan tenke på lim a->[symbol:uendelig] F(a). Som vi kan gjøre, hvis og bare hvis en økning i a kan går på null tid. Med en gang a tar tid kan a ikke gå mot evigheten, og hvis vi sier at alle tall er svære til det motsatte er bevist så holder OP fortsatt vann. Med mindre vi definerer det motsatt :-O
Tror det blir slik da:
[tex]\forall a\in \mathbb{N}\,\exist\,S(a)\,:\,S(a)>a\,,\,S(a)\in S \\ N\left(\mathbb{N}\right)=\infty\,\Leftrightarrow\, N\left(S\right)=\infty[/tex]
Der [tex]S[/tex] er mengden med alle heltall større enn [tex]a[/tex].
Videre definerer vi [tex]T[/tex] som mengden med dritstore tall og [tex]t[/tex] som det minste dritstore tallet. Da får vi, ved å tøye hva som er lov og ikke lov i aritmetikken, at
[tex]N\left(\mathbb{N}\right)=\infty \,\,,\,\, N\left(\bar{T}\right)=t-1 \\ T=\mathbb{N}\setminus \bar{T} \\ N\left(T\right)=\infty-t+1=\infty[/tex]
Hvordan ser det ut?
[tex]\forall a\in \mathbb{N}\,\exist\,S(a)\,:\,S(a)>a\,,\,S(a)\in S \\ N\left(\mathbb{N}\right)=\infty\,\Leftrightarrow\, N\left(S\right)=\infty[/tex]
Der [tex]S[/tex] er mengden med alle heltall større enn [tex]a[/tex].
Videre definerer vi [tex]T[/tex] som mengden med dritstore tall og [tex]t[/tex] som det minste dritstore tallet. Da får vi, ved å tøye hva som er lov og ikke lov i aritmetikken, at
[tex]N\left(\mathbb{N}\right)=\infty \,\,,\,\, N\left(\bar{T}\right)=t-1 \\ T=\mathbb{N}\setminus \bar{T} \\ N\left(T\right)=\infty-t+1=\infty[/tex]
Hvordan ser det ut?
Sist redigert av espen180 den 25/12-2008 01:47, redigert 1 gang totalt.
[tex]N(S)[/tex] gir antallet elementer i settet [tex]S[/tex] osv, ja.
Og kardinaltallet til de naturlige tallene blir uendelig. Det er dog nyttig å merke seg at selv og kardinaltallet til både de naturlige, hele, rasjonelle, reelle og complekse talla alle er uendelig, er de "forskjellige grader av uendelig. F. eks er [tex]N(\mathbb{R})>N(\mathbb{N}[/tex], selv om [tex]N(\mathbb{R})=\infty[/tex] og [tex]N(\mathbb{N})=\infty[/tex]
Og kardinaltallet til de naturlige tallene blir uendelig. Det er dog nyttig å merke seg at selv og kardinaltallet til både de naturlige, hele, rasjonelle, reelle og complekse talla alle er uendelig, er de "forskjellige grader av uendelig. F. eks er [tex]N(\mathbb{R})>N(\mathbb{N}[/tex], selv om [tex]N(\mathbb{R})=\infty[/tex] og [tex]N(\mathbb{N})=\infty[/tex]
Neat. Implisitt kan en aldri lage en 1:1-mapping fra naturlige til reelle tall?espen180 skrev:[tex]N(S)[/tex] gir antallet elementer i settet [tex]S[/tex] osv, ja.
Og kardinaltallet til de naturlige tallene blir uendelig. Det er dog nyttig å merke seg at selv og kardinaltallet til både de naturlige, hele, rasjonelle, reelle og complekse talla alle er uendelig, er de "forskjellige grader av uendelig. F. eks er [tex]N(\mathbb{R})>N(\mathbb{N}[/tex], selv om [tex]N(\mathbb{R})=\infty[/tex] og [tex]N(\mathbb{N})=\infty[/tex]
EDIT: Du kan vel forsåvidt lage en 1:1-mapping fra N->Z med {n E N: f(n)="sqrt(n²)" for alle n}, selv om de angivelig har forskjellig kardinalitet. Eller regnes et av svarene x1, x2 da som falske svar? Eller blir det kanskje en 1:2-mapping. Meh, nå er det sent og jeg har drukket øl. Må ikke forvirre meg selv nå da OT uansett
Så nylig en oppgave hvor vi skulle bevise at det eksisterer en 1:1-mapping mellom de rasjonale tallene og heltalla ([tex]\mathbb{N} \rightarrow \mathbb{Q}[/tex])
Cube - mathematical prethoughts | @MatematikkFakta
Med forbehold om tullete feil. (både her og ellers)
Med forbehold om tullete feil. (både her og ellers)