This tag is for questions about cardinals and related topics such as cardinal arithmetics, regular cardinals and cofinality. Do not confuse with [large-cardinals] which is a technical concept about strong axioms of infinity.

learn more… | top users | synonyms (1)

2
votes
3answers
72 views

Show that if a metric space is complete, separable and not countable then it has cardinal $\aleph_1$

Show that if a metric space is complete, separable and not countable then it has cardinal $\aleph_1$ I have encountered this exercise and I don't know where to start. There is a lot of important ...
1
vote
3answers
66 views

Are cardinal numbers sets in ZFC?

Are cardinal numbers sets in ZFC, or just proper classes? If they are sets, what is their structure?
8
votes
0answers
101 views

What is the degree of a real closure of an ordered field?

Given a subfield $F$ of $\Bbb R$, let the real-closure of $F$ be the smallest subfield of $\Bbb R$ which is real-closed and extends $F$. Since the theory of real-closed fields is complete, this is in ...
3
votes
1answer
31 views

Proving the equivalence of a finite set

Let A be a finite set. Prove that if A≈􏰔n and A≈􏰔m, then n=m. The answer in the book uses a max function, so I was just wondering if there was a simpler way. If not, it would be appreciated if ...
2
votes
1answer
36 views

Question about $\text{non}(\mathsf{nonstat}_\gamma)$

A lemma in Kunen's (2011) set theory states that if $\gamma$ is a limit ordinal with $\kappa=\text{cf}(\gamma)>\omega$, then $\text{add}(\mathsf{nonstat}_\gamma)$ $=$ ...
4
votes
0answers
56 views

finding a bijective function from the real plane to the real line

As part of a HW assignment in the course elementary set theory, I was given the following question: Prove explicitly (don't use any theorems or known facts, but find a bijective function) that ...
0
votes
0answers
23 views

finding an injective function to prove cardinality equality

As part of a HW assignment in the course elementary set theory, I was given the following question: Prove that the set of all binary sequences (sequences of $0$ and $1$) except for the binary ...
5
votes
1answer
72 views

Cardinality of order topology?

Just out of interest: The cardinality of the Euclidean topology on the real line is $c$. In general, if $X$ is totally ordered of cardinality $\alpha$, the order topology on $X$ must have cardinality ...
4
votes
1answer
45 views

Is there a simple formula for the cardinality of $\{A\subseteq\kappa\mid |A|\leq\lambda\}$ when $\lambda\leq\kappa$?

If $\lambda\leq\kappa$ are infinite cardinals, how many subsets of $\kappa$ of size $\lambda$ are there? And of size $\leq\lambda$? Is there some sort of explicite formula for this? The internet isn't ...
0
votes
1answer
48 views

Prove that if $S\subset \mathbb{R}^n$ is not countable, then there exists $x \in S$ such that $x$ is a condensation point.

Let $S \subset \mathbb{R}^n$ with the usual metric. A point $x \in \mathbb{R}^n$ is said to be a condensation point of $S$ if for all $r>0$, $B(x,r)\cap S$ is not countable. Show that if $S$ is ...
0
votes
2answers
66 views

The number of subsets of cardinality less than $\kappa$ of a cardinal $\kappa$ is $\kappa$

Let $L=\bigcup_{\alpha \in Ord} L_\alpha$ be Godel's constructible universe and thus $L \models GCH$. Let $\kappa$ be an infinite cardinal and $S:=\{A \subseteq \kappa : \#A < \kappa \}$. Is it ...
3
votes
1answer
48 views

Is this proof that $\kappa^{<\kappa}=\kappa$, when $2^{<\kappa}=\kappa$, correct?

Let $\kappa$ be a cardinal number. I want to show that if $\kappa$ is regular and if $2^{<\kappa} = \kappa$ then $\kappa^{<\kappa}= \kappa$. Here is what I got so far: $$ ...
2
votes
1answer
72 views

Can we prove AC from the statement “There is no $\aleph$ cardinal strictly between $\operatorname{CARD}(X)$ and $\operatorname{CARD}(2^X)$”?

If $X$ is a set, let $\operatorname{CARD}(X)$ denote the Cardinal number of $X$. Let GCH(1) be the statement "If $K$ is an infinite initial ordinal number, then there exists no initial ordinal number ...
6
votes
4answers
111 views

Is the logarithm of $\aleph_0$ infinite?

In classical mathematics $2^{\aleph_0}=\aleph_1$, right? So if $2^x=\aleph_0$, what does $x$ equal? In other words, can we define a logarithm for $\aleph_0$, and what should it be. Is it infinite? ...
1
vote
1answer
46 views

Compare density of rationals to the density of integers

Is is possible to somehow quantitatively compare the density of rational numbers to the density of integer numbers, ascribing to the both a number characterizing the density?
2
votes
1answer
74 views

equality of Cardinality of $\mathbb{R}$ and $\mathbb{R^2}$

There was a question in our exam which wanted us to prove that $\mathbb{R}$ and $\mathbb{R^2}$ both have same Cardinality. My approach to prove this problem was to try to make a bijection between ...
0
votes
1answer
28 views

Cardinality of Sets and injections

Let A,B,C,D sets. if |A| $\le$|B| and |B| < |C|, show that |A| < |C| Proof: Case1: suppose |A| < |B| then there exists injection f: A$\to$B and |B| < |C| then there exists injection ...
6
votes
1answer
154 views

Dominating strategically $\omega_1$ reals

For a given $\kappa > \omega$, define the game $d(\kappa)$ that runs for $\omega$ stages as follows: At stage $n$, player I chooses a sequence of elements of $\omega$, $g_n$ of length $\kappa$, and ...
1
vote
1answer
49 views

A question about infinite sets and Cantor's Power Set theorem

Let $\operatorname{Card}(X)$ denote the cardinal number of the set $X$. The standard proof of Cantor's Power Set theorem stating that "$\operatorname{Card}(X) < \operatorname{Card}(2^X)$" is ...
2
votes
1answer
33 views

Regularity of $\omega_1$ and axiom of choice

Why is the regularity of the ordinal $\omega_1$ a consequence of the axiom of choice?
0
votes
3answers
80 views

Can we simplify analysis by getting rid of the uncountable reals? [duplicate]

Since the entire observable part of the universe can only be in a finite number of physically distinguishable states, it seems rather strange that an efficient formal description of the universe would ...
0
votes
1answer
38 views

If $A$, $B$, $C$ are any infinite sets then is $|A|=|B|$ and $|A|=|C|$ $\Longleftrightarrow |A|=|B\cup{}C|$?

Suppose we have three sets $A$, $B$, and $C$ that we know are infinite sets, but we do not know anything else about the cardinality of $A$, $B$, and $C$. Is $|A|=|B|$ and $|A|=|C|$ ...
0
votes
2answers
103 views

Cardinality and Concrete Mathematics

First, let me distinguish Concrete Mathematics ( Mathematic branches that studies fixed structures ) from Abstract Mathematics ( branches that study classes of structures, such as algebra , topology, ...
-1
votes
1answer
42 views

Set $T$ is Countably Infinite [closed]

How can it be shown that $$T = \{\,(i, j, k) \mid i, j, k \in\mathbb N\,\} $$ is countably infinite?
0
votes
0answers
20 views

A question on product space [duplicate]

If $|X|=\mathfrak c$, then what is the cardinality of the product space $X^{\omega}$? Thanks very much.
2
votes
3answers
72 views

What properties does $A\to B$ satisfy under 1-1 correspondence?

A 1-1 correspondence between two sets $A$ and $B$ is a function $f\colon A \to B$ satisfying what properties? I do know that we say that two sets $A$ and $B$ are equivalent, and we write $A \sim B$ ...
1
vote
3answers
49 views

Limit Ordinals as Infinite Ordinals and other questions

I am studying set theory and I am confused in the following: Are limit ordinals the same as infinite ordinals? I would say yes since the least non-zero limit ordinal is $\omega$. Infinite limit ...
0
votes
3answers
84 views

Proving $a + a = a$ if a statement is true

That's the question : Let $a$ be a cardinality such that this following statment is true : For every $A, C$, if $ A \subseteq C$, $|A| = a$ and $|C| > a$, then $|C \setminus A| > |A|$. ...
0
votes
2answers
31 views

What is the cardinality of all binary sequnces (infinte and finite) that the sequnce 01 does not apper in them

As the title suggests, the question is : What is the cardinality of all binary sequnces (infinte and finite) that the sequnce 01 does not apper in them ? I'll tell you where im stuck, let's say f is ...
0
votes
1answer
23 views

Cardinality and Set Thoery

(|x| = cardinal # of x for clarification) let A,B be two finite sets, show that $|A \cup B| = |A| + |B| -|A\cap B|$ Proof: let $x\in A\cup B$ $x \in (A -A\cap B) + (B- A\cap B) + (A \cap B)$ let ...
0
votes
0answers
37 views

Show that same cardinal number defines and equivalence relation

Same cardinal number must satisfy all three properties : symmetry, reflexivity, transitivity Symmetry Suppose bijection $f:A→A$, Then by definition, |A| = |A| Reflexivity Suppose bijections ...
1
vote
2answers
26 views

Relation between successor cardinals and power sets

What are the known relation between successor cardinals $\kappa^+$ and power sets $2^\kappa$ (when GCH is not assumed)? For example, is it true that $\kappa^+ \le 2^\kappa \le \kappa^{++}$? In ...
1
vote
1answer
25 views

Help understanding cardinal multiplication and infinite Cartesian products

The cardinal product of two sets is defined to be the cardinality of the Cartesian product. The Cartesian product is: $$\prod_{\alpha \lt\beta}\kappa_{\alpha}=\{f\mid f\colon\beta\rightarrow ...
3
votes
1answer
68 views

A generalization of “any countable limit ordinal is the union of a sequence of increasing ordinal”

Using the fact that every countable ordinal is isomorphic to a closed subset of $\mathbb Q$, I find out that any countable limit ordinal is the union of a sequence of increasing ordinal. Now I'm ...
11
votes
4answers
219 views

Is $2^{\aleph_0} = \aleph_1$?

I was reading a thread on Examples of Common False Beliefs in Mathematics on MathOverflow, in which a user wrote: $$2^{\aleph_0} = \aleph_1$$ This is a pet peeve of mine, I'm always surprised ...
0
votes
1answer
37 views

uncountable repetitions

I have a question (or two) about recursive naming conventions. Consider the following recursive naming sequence: Base step: Let S be any nonempty set. Let x be any arbitrary element of S. Let S* be ...
-2
votes
1answer
26 views

What is the limit of the cardinality of a set of bins in finite range, as bin width approaches zero?

Let's say that we divide the region $(0,1)$ into $N$ bins of width $1/N$. Of course, it makes sense to take the limit $1/N \rightarrow 0$ in this configuration, because that's simply how we define an ...
3
votes
1answer
34 views

Is $\operatorname{card}(I)=\operatorname{card}(D)$

When I was answering number of integrable functions is greater than number of differentiable functions I got to wonder if the inequality was strict. So with $\mathcal I$ being the set of integrable ...
-2
votes
1answer
78 views

Cantor's Diagonal: Why not a 1-2 Correspondence between the Naturals and Reals?

Hopefully I'm following Cantor's Diagonal Argument with a minimum of distortion and omission: We start from an enumeration T of all infinite binary sequences. We then construct a list S of elements ...
1
vote
2answers
41 views

Cardinality of $\{ (x, y) \in \mathbb{R}^2 \mid \left| x \right| + \left| y \right| = 1 \}$ and $\{ (x, y) \in \mathbb{R}^2 \mid x^2 + y^2 = 1 \}$

Do $\{ (x, y) \in \mathbb{R}^2 \mid \left| x \right| + \left| y \right| = 1 \}$ and $\{ (x, y) \in \mathbb{R}^2 \mid x^2 + y^2 = 1 \}$ have the same cardinality? One can draw a square in the two ...
0
votes
1answer
101 views

What's the largest number

Originally this question started as 'what is the largest number' using $\aleph_0$ as a start, and continuing using concepts such as ${\aleph_0}^{\aleph_0}$, and Knuth's Tower notation $\uparrow$, so ...
2
votes
2answers
60 views

$\forall \alpha \exists \beta: \beta > \alpha$ where $\alpha$ and $\beta$ cardinals

I have to prove ZF $\vdash$ $\forall \alpha \exists \beta:\beta > \alpha$, where $\alpha, \beta-$ cardinal numbers. I can prove it only in ZFC. Let's fix some cardinal number $\alpha$. By ...
0
votes
1answer
25 views

$\sigma$-algebra with cardinality $\aleph_0$ [duplicate]

Can a $\sigma$-algebra in a set $X$ have cardinality $\aleph_0$, the cardinality of the naturals? I do not have a clue on how to start with this? Can someone please give me a hint?
1
vote
1answer
68 views

Why does this author define cardinality indirectly?

I'm studying Enderton's Elements of Set Theory and in the page 129 he defines what it means two sets being equinumerous: After that in the page 136 he defines cardinality: Why doesn't he define ...
0
votes
1answer
72 views

Is the cofinality function monotonic?

Is the cofinality function $\operatorname{cf}$ monotonic? I.e., if $\lambda \le \kappa$ for cardinals $\lambda$ and $\kappa$, does it then follow that $\operatorname{cf}(\lambda) \le ...
1
vote
0answers
35 views

Mathematics with and without continuum hypothesis

This is a follow-up to a recent question. Are there "interesting" differences between CH-mathematics and (non-CH)-mathematics? Has anybody developed mathematics with c = $\aleph_2$? $\aleph_3$? ... ...
1
vote
2answers
59 views

Sets of “Isolated” Cardinals

Let $C\neq\emptyset$ be a set of infinite cardinals with the property that NO member of $C$ occurs as the supremum of strictly smaller members of $C$. So the cardinals in $C$ are sort of "isolated". ...
2
votes
3answers
326 views

A question about cardinal number.

Let $X$ be a infinite set and $n$ be a positive integer. We denote the cardinal number of $X$ by $|X|$ and denote the family of all subsets of X which contains n elements by $\mathfrak{F}$. Then ...
2
votes
1answer
32 views

Is ordering of (possibly infinite) sets by cardinality a total ordering?

Given sets $A$ and $B$. Can you show that either there exists an injective map of $A$ into $B$ (that is, a map such that each element of $A$ maps to an element of $B$ and no two elements of $A$ map to ...
1
vote
3answers
84 views

Decidability of the cardinality of a set given that the Continuum Hypothesis is independent from ZFC

I'm a Total Amateur (TM), please forgive me if this question makes no sense. The Continuum Hypothesis states that there are no sets with cardinality strictly between that of the integers and the ...