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)

5
votes
5answers
327 views

How many cardinals are there?

I'm trying to do the following exercise: EXERCISE 9(X): Is there a natural end to this process of forming new infinite cardinals? We recommend this exercise instead of counting sheep when you have ...
5
votes
3answers
363 views

Question about Generalized Continuum Hypothesis

I wonder how the Generalized Continuum Hypothesis reveal that $A\times A$ is equivalent to $A$? $A$ is any infinite set.
5
votes
3answers
129 views

$|\mathbb{R}^\mathbb{R}|$ vs $|P(\mathbb{R})|$ Which is bigger?

$|\mathbb{R}^\mathbb{R}|$ vs $|P(\mathbb{R})|$ where $\mathbb{R}^\mathbb{R} =\{f | f:\mathbb{R} \rightarrow \mathbb{R}\}$ Are they equal? Which is bigger? How can I prove it?
5
votes
3answers
521 views

How many $p$-adic numbers are there?

Let $\mathbb Q_p$ be $p$-adic numbers field. I know that the cardinal of $\mathbb Z_p$ (interger $p$-adic numbers) is continuum, and every $p$-adic number $x$ can be in form $x=p^nx^\prime$, where ...
5
votes
2answers
549 views

In set theory, what does the symbol $\mathfrak d$ mean?

What's meaning of this symbol in set theory as following, which seems like $b$? I know the symbol such as $\omega$, $\omega_1$, and so on, however, what does it denote in the lemma? Thanks ...
5
votes
2answers
2k views

Cantor-Bernstein-like theorem: If $f\colon A\to B$ is injection and $g\colon A\to B$ is surjective, can we prove there is a bijection as well?

I've been trying to find this proof: If there exists $f \colon A\to B$ injective and $g \colon A \to B$ surjective, prove there exists $h \colon A \to B$ bijective. I thought of using ...
5
votes
2answers
180 views

Is the cardinality of $\mathbb{Z^R}$=$\mathbb{R^Z}$?

Previously in this question, we have found that $\mathbb{R^Z}$ is uncountable and its multiset of components, denoted by $$K = \{ (..., 0, 0, w, 0, 0, ... ) : w \in \mathbb{R} \}$$ where for each ...
5
votes
5answers
360 views

Are there more real numbers than we can actually imagine?

I mean, if we could imagine all the real numbers then we could assign each number a finite sentence (or a finite book). Since the set of the finite books is countable then the set of real numbers ...
5
votes
1answer
772 views

Cofinality of cardinals

I have read some of the related questions (cofinality and its consequences, for example) about cofinality, but I still have no idea how to calculate the cofinality of an aleph. So, let's say I have ...
5
votes
3answers
421 views

The cardinality of a countable union of sets with less than continuum cardiality

Can continuum be a countable union of sets with cardinality, less than continuum? I can prove it for a finite union by mathematical induction from this: $\mathbb R = A_1 + A_2 => |\mathbb R| = ...
5
votes
3answers
229 views

Question on a proof from Jech's Set Theory of: If $X$ is a set of cardinals, then $\sup X$ is a cardinal.

The proof: Let $\alpha= \sup X$. If $f$ is a bijective mapping of $\alpha$ onto some $\beta < \alpha$, let $\kappa \in X$ be such that $\beta < \kappa \le \alpha$. Then $|\kappa|=|\{f(\xi): \xi ...
5
votes
3answers
399 views

What does $H(\kappa)$ mean?

As the typical references (Wikipedia, Mathworld, etc.) don't seem to address this satisfactorily, I figured this would be a good place to put a nice formal definition. Hence: I've heard that if ...
5
votes
1answer
205 views

Cardinal power $\kappa^\kappa$. When is it equal to $2^\kappa$?

Under what assumptions on an infinite cardinal $\kappa$ we have $$\kappa^\kappa= 2^\kappa?$$ Please delete this question. I know the answer.
5
votes
1answer
130 views

Is $\alpha^{\beta}=2^{\beta}$ for all infinite cardinalities $\alpha, \beta$?

Is $\alpha^{\beta}=2^{\beta}$ for all infinite cardinalities $\alpha, \beta$? I was wondering about this since I've encountered examples of times where this holds, but I can't seem to prove it myself ...
5
votes
2answers
3k views

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

I am working on this exercise for an introductory Real Analysis course: Show that |$\mathbb{R}$| = |$\mathbb{R}^2$|. I know that $\mathbb{R}$ is uncountable. I also know that two sets $A$ and ...
5
votes
1answer
446 views

Intuition about the size of $\aleph_k$ with $k>1$

Assuming CH for simplicity, I know of some more or less intuitive way to think about difference in sizes of $\aleph_0$ and $\aleph_1$. The most straightforward is the distinction of natural/rational ...
5
votes
4answers
843 views

Problems about Countability related to Function Spaces

Suppose we have the following sets, and determine whether they are countably infinite or uncountable . The set of all functions from $\mathbb{N}$ to $\mathbb{N}$. The set of all non-increasing ...
5
votes
1answer
183 views

What is the value of $\aleph_1^{\aleph_0}$?

Is there any neat way to calculate the value of $\aleph_1^{\aleph_0}$?
5
votes
4answers
1k views

Cardinality of Irrational Numbers

I know and I have proved more than once that the set of irrational numbers ($\mathbb{I}$) is uncountable, but now I'm given to solve this problem: Show that $|\mathbb{I}|=|\mathbb{R}|$, How can I ...
5
votes
2answers
915 views

some elementary questions about cardinality

I know little about set theory and while reading some Algebra proof I had difficulty on some details. So my questions are : If $X$ is an infinite set and $Y$ is the set of all finite subsets of $X$, ...
5
votes
1answer
78 views

Which has bigger cardinality, $\mathbb Q^\mathbb R$ or $\mathbb R^\mathbb Q$?

Which has bigger cardinality, $\mathbb Q^\mathbb R$ or $\mathbb R^\mathbb Q$ ? I think I should use the Schroder-Bernstein theorem but I can't find the necessary injections/ prove that there aren't ...
5
votes
3answers
280 views

Uncountable Cardinals without AC

I am doing an exercise, proving that without AC or Replacement that there are uncountable cardinals. As a point of reference I looked at the proof in Kunen's "The Foundations of Mathematics" that ...
5
votes
2answers
151 views

Prob 8, Sec 7 in Munkres' TOPOLOGY 2nd ed: How do we show these sets have the same cardinality?

Here's Prob. 8. Sec. 7 in Topology by James R. Munkres, 2nd edition: Let $X$ denote the two element set $\{0,1\}$; let $\mathscr{B}$ be the set of countable subsets of $X^{\omega}$. Show that ...
5
votes
5answers
184 views

$\mathrm{card} ( \mathbb{Q})=\mathrm{card}( \mathbb{Q^c})$: Overcoming Wrong Intuition

This is a widespread intuitive argument, asserting that $\mathrm{card} ( \mathbb{Q})=\mathrm{card}( \mathbb{Q^c})$: Between any two rational numbers there's an irrational one and vice versa. So ...
5
votes
2answers
115 views

Question about proof of Hessenberg: $\kappa \cdot \lambda = \lambda$

The following is a theorem: (Hessenberg) Let $1 \le \kappa \le \lambda$ where $\lambda$ is an infinite cardinal. Then $\kappa \cdot \lambda = \lambda$. The proof in the book proceeds by transfinite ...
5
votes
1answer
310 views

“Real” cardinality, say, $\aleph_\pi$?

Is there any meaningful definition to afford for $\aleph_r$ (as in cardinality) where $r\in\mathbb{R}^+$? $r\in\mathbb{C}$? What about $\aleph_{\aleph_0}$? Can we iterate this? ...
5
votes
1answer
98 views

Cardinal Arithmetic: $\beth_\omega$

Is the following equality independent of ZFC: $$\bigcup_{\aleph_{\beta}<\beth_{\omega}}2^{\aleph_{\beta}}=\beth_\omega $$ Consistent: Now that the equality is consistent with ZFC since it holds ...
5
votes
1answer
102 views

Landing between $\beth_\lambda$ and $\beth_{\lambda+1}.$

Main Question. Is it consistent with ZFC that there exists a limit ordinal $\lambda$ and a cardinal number $\nu$ satisfying $$\beth_\lambda < \beth_\lambda^\nu < \beth_{\lambda+1}?$$ I am also ...
5
votes
1answer
139 views

Existence of a regular uncountable $\aleph_{\alpha}$ without $\mathsf{AC}$

Set theory (Jech) $\text{p.}\;27:$ It is an open problem whether one can prove without the axiom of choice that there exists a regular uncountable $\aleph_{\alpha}\;($the informed guess is that ...
5
votes
1answer
175 views

Injective or constant function on measurable cardinal

I'm working on the following question: Let $\kappa$ regular cardinal, and $f:\kappa \rightarrow \kappa$. Prove that $\{\alpha < \kappa\mid f|_\alpha : \alpha \rightarrow \alpha\}$ is a ...
5
votes
1answer
175 views

Aleph arithmetic question

We want to prove that: $$\aleph_2^{\aleph_0} = \aleph_2\aleph_1^{\aleph_0}$$ My idea was to approach this by doing a Schroder-Bernstein style argument and proving this by showing two inequalities, ...
5
votes
2answers
133 views

Reference request, self study

I'm looking for references (books/lecture notes) for : Cardinality without choice, Scott's trick; Cardinal arithmetic without choice. Any suggestions ? Thanks in advance.
5
votes
2answers
3k views

An infinite subset of a countable set is countable

In my book, it proves that an infinite subset of a coutnable set is countable. But not all the details are filled in, and I've tried to fill in all the details below. Could someone tell me if what I ...
5
votes
1answer
54 views

Cardinals and generic extensions

Let us consider a model of ZFC $M$, a forcing $\mathbb{P}\in M$. If $G$ is a $\mathbb{P}$-generic filter over $M$ we can construct the generic extension $M[G]$ of $M$. Given any cardinal number ...
5
votes
4answers
186 views

Can a number have an uncountably infinite amount of digits?

I'm an extreme mathematical layman, so please excuse the probable ignorance and awkward phrasing of this question. Is there such thing as a kind of number which has an uncountably infinite amount of ...
5
votes
2answers
153 views

Constructing a vector space of dimension $\beth_\omega$

I'm trying to solve Exercise I.13.34 of Kunen's Set Theory, which goes as follows (paraphrased): Let $F$ be a field with $|F| < \beth_\omega$, and $W_0$ a vector space over $F$ with $\aleph_0 ...
5
votes
1answer
89 views

$\kappa\psi (x,X)\leq \psi (x,X)$

The $\kappa$-pseudocharacter $\kappa\psi (x,X)$ of a space $X$ at a point $x\in X$ is the smallest infinite cardinal number $\tau$ such that there exists a family $\gamma$ of $\kappa$-sets in $X$ ...
5
votes
1answer
132 views

What indexes do the subgroups of $\mathrm{GL}_n(\Bbb C)$ have?

Let $B_n\subset\mathrm{GL}_n(\Bbb C)$ be the group of invertible upper-triangular matrices. What is the index $[\mathrm{GL}_n(\Bbb C):B_n]?$ (By index I mean the cardinality of a coset space.) In ...
5
votes
2answers
120 views

Weak cardinal powers and singular cardinals

Suppose $\kappa > \operatorname{cf}(\kappa)$. Show that: i) if $\kappa$ strong limit then $\kappa^{<\kappa} = \kappa^{\operatorname{cf}(\kappa)}$ ii) if $\kappa$ not strong limit then ...
5
votes
1answer
803 views

How can one rigorously determine the cardinality of an infinite dimensional vector space?

Suppose $V$ is a vector space over a scalar field $F$. If $\dim(V)=n$, then $|V|=|F|^n$. How can I rigorously determine the cardinality of $V$ when $V$ is infinite dimensional? My thought was that if ...
5
votes
1answer
336 views

Cardinality of sets of functions with well-ordered domain and codomain

I would like to determine the cardinality of the sets specified bellow. Nevertheless, I don't know how to approach or how to start such a proof. Any help will be appreciated. If $X$ and $Y$ are ...
5
votes
1answer
173 views

Partial order on cardinalities without the axiom of choice

Cardinality can still be defined without choice, e.g. as equivalence class of equipotent sets, see Defining cardinality in the absence of choice. Injections define partial order on cardinalities by ...
5
votes
1answer
88 views

How to show that $\mathfrak s \leq \mathfrak d$

I am trying to understand why $\mathfrak s \leq \mathfrak d$. Can anyone state a proof of it? I have a proof , which I don't understand yet. My question regarding that proof is here below: At the ...
5
votes
1answer
91 views

A verification for a proof that $\omega_1 \leq \mathfrak s$

I am trying to prove that $\omega_1 \leq \mathfrak s$ where $\mathfrak s$ is the splitting number which is the smallest cardinality of any splitting family. This statement was left as an ...
5
votes
1answer
216 views

Jech's proof of Silver's Theorem on SCH

Jech's textbook proves Silver's Theorem–that if the Singular Cardinals Hypothesis holds for all singular cardinals of countable cofinality, then it holds for all singular cardinals–by breaking up the ...
5
votes
1answer
245 views

In ZF, does there exist an ordinal of provably uncountable cofinality?

Question is in the title. In ZFC, one can prove that $\aleph_{\alpha+1}$ is regular, so there is a large source of cardinals with uncountable cofinality, but in ZF, it is consistent that ${\rm ...
5
votes
1answer
134 views

Differences in worlds with and without $\aleph_0<|S|<2^{\aleph_0}$

Paul Cohen told us that whether or not there is $S$ with \begin{equation} \aleph_0<|S|<2^{\aleph_0} \end{equation} cannot be decided within ZFC, and hence it is reasonable to work in two ...
5
votes
1answer
183 views

Orders of subgroups of Infinite Profinite Groups

This question is in some sense equivalent to my question here. A proof would answer that question in the case when the base field is perfect. Let $G$ be a profinite group of cardinality $\kappa$, ...
5
votes
2answers
226 views

Cardinal arithmetic gone wrong?

I am trying to calculate $\kappa^\lambda = \aleph_{\omega_1}^{\aleph_0}$. I know that if $\kappa$ is a limit cardinal and $0 < \lambda < \mathrm{cf}(\kappa)$ then $\kappa^{\lambda} = ...
5
votes
1answer
95 views

Why $\kappa^{<\kappa}=2^{<\kappa}$, if $\kappa$ is a regular and limit cardinal?

On Page 60, Set Theory Jech(2006) (Show that)if $\kappa$ is regular and limit, then $\kappa^{<\kappa}=2^{<\kappa}$. It's not difficult to show that $\kappa^{<\kappa}\geq2^{<\kappa}$. ...