Wikipédia:Tudakozó/Archívum/2020-10-13

A Tudakozó főoldala • Én szeretnék választ adni! • Archívum • Eszmecsere a válaszadó önkéntesek között• Válaszadó sablonok • TUGYIK

Egy szótárba illő kérdésnek, a szavak értelmezésének inkább a Wikiszótárban nézz utána.
A Wikipédia Tudakozójának önkéntesei vagyunk, és enciklopédiába, lexikonba való témákban igyekszünk választ adni. Megkérünk, hogy először a Wikipédia automatizált belső keresőjével próbáld a választ megkeresni, és csak ha ott nem találtad meg, akkor kattints ide, és tedd fel nekünk a kérdésedet!

A kérdésed (nem a válasz még!) egy-két perc elmúltával a mai kérdéseket tartalmazó lap alján fog látszani.
(Ha mégsem látszana, akkor próbáld meg a lapot a böngésződben frissíteni.)
Kérünk, hogy legyél türelemmel – itt mindenki a szabad idejét fordítja arra, hogy a segítségedre legyen.
Esetleg csak holnap, holnapután akad valaki, aki válaszolni tud neked, sőt néha még később írnak be egy választ a már archivált lapra.
Ha a mai lapot később keresed, ezt írd be a keresőablakba: Wikipédia:Tudakozó/Archívum/2024-04-24, vagy keresd az Archívumban.

A legutóbbi pár nap:

Wikipédia:Tudakozó/Archívum/2024-04-20 Négy napja

Wikipédia:Tudakozó/Archívum/2024-04-21 Három napja

Wikipédia:Tudakozó/Archívum/2024-04-22 Tegnapelőtt

Wikipédia:Tudakozó/Archívum/2024-04-23 Tegnap

Wikipédia:Tudakozó/Archívum/2024-04-24 Ma

2020. 10. 10. « 2020. 10. 11. « 2020. 10. 12. « 2020. 10. 13. » 2020. 10. 14. » 2020. 10. 15. » 2020. 10. 16.

Halmaz-e az összes számosság? szerkesztés

Megválaszolva. Ha további kiegészítést akarsz tenni, akkor kattints a szakaszcím mellett a [forrásszöveg szerkesztése] feliratra.
Ha új kérdést akarsz feltenni, kattints ide!

Azt szeretném megtudni, hogy az összes számosság, mint összesség, halmaz-e? Ha ez C, akkor ∀x halmaz: |x| ∈ C, hiszen ∀y: y∈C ⇔ ∃x halmaz: y = |x|. Ekkor |C| ∈ C. Számosság tehát, ami halmaz mérete: ℕ ∪ Pozitív végtelenek. A helyzet az, hogy a végtelenek már nem 1-esével nőnek, hiszen ha x végtelen számosság, akkor x+1 = x, így a megszokott bizonyítási módszerek nem működnek. Nyilván nincs legnagyobb számosság, így |C| se az: |P(C)| > |C| például, de ez csak + 1 számosság, így még azt se sikerült bebizonyítanom, hogy |C| ≠ |ℕ|. Köszönöm szépen ha valaki segít!

--194.38.100.165 (vita) 2020. október 13., 12:42 (CEST)[válasz]

Az angol Wikipédiában nem találtam, de Bing-gel rákeresve ezt találtam:

C is not a set − it is infact a proper class. If C were a set, then |C| would be defined. It then follows that |C| would be the largest cardinality, since there is a total order between all the cardinalities, and |C|>κ for every cardinality κ (every cardinality is equivalent to the set of all smaller cardinalities). But 2^|C|>|C| and so there cannot be a largest cardinal.

A probléma az, hogy ha feltesszük a kontinuum-axiómát, ami független a többi axiómától, akkor csak ℕ ∪ {|ℕ|} az |ℝ|-nél kisebb számosságok halmaza, de ez csak |ℕ| darab, ami < |ℝ|. 194.38.100.165 (vita) 2020. október 13., 13:20 (CEST)[válasz]

Rendszám (halmazelmélet): sajnos nem írja, hogy minden rendszám egyben számosság is. Ha minden rendszámhoz tartozna számosság, akkor még az is kellene, hogy más rendszámhoz más tartozik. 194.38.100.165 (vita) 2020. október 13., 13:28 (CEST)[válasz]

Előzőben angolra váltva, az "Initial ordinal of a cardinal" című bekezdést én úgy értelmezem hogy amit találtam bizonyítást az hibás, csak rendszámokra igaz. Angolul nem tudok jól egyébként. 194.38.100.165 (vita) 2020. október 13., 13:42 (CEST)[válasz]

Azt hiszem megvan. A számosságok is legyenek halmazok: az olyan méretűek közül 1-et kiválasztunk, mint képviselőt. Tehát ∀x: ||x|| = |x|. Ha C halmaz, akkor ∪C is, ∀x∈C: x ⊆ ∪C, beleértve |∪C| ∈ C, tehát |∪C| ⊆ ∪C. Mivel |P(∪C)| ∈ C, |P(∪C)| ⊆ ∪C, vagyis ∪C-nek van nála nagyobb részhalmaza. Na jól megoldottam magamnak. 94.27.140.147 (vita) 2020. október 13., 14:31 (CEST)[válasz]