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)

7
votes
2answers
424 views

A question about the cardinality of the set of all the bijections from $M$ to itself

$M$ is a set.We denote the set of all the bijections from $M$ to itself by $K$.Is the cardinality of $K$ larger than the cardinality of $M$?
7
votes
4answers
153 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? ...
7
votes
1answer
438 views

What is $\aleph_0$ powered to $\aleph_0$?

By definition $\aleph_1 = 2 ^{\aleph_0}$. And since $2 < \aleph_0$, then $2^{\aleph_0} = {\aleph_1} \le \aleph_0 ^ {\aleph_0}$. However, I do not know what exactly $\aleph_0 ^ {\aleph_0}$ is or how ...
7
votes
3answers
866 views

Is there an infinite countable $\sigma$-algebra on an uncountable set

Let $\Omega$ be a set. If $\Omega$ is finite, then any $\sigma$-algebra on $\Omega$ is finite. If $\Omega$ is infinite and countable, a $\sigma$-algebra on $\Omega$ cannot be infinite and ...
7
votes
1answer
159 views

Bijection between $\mathbb{Z}\times\mathbb{Z}\times\dots$ and $\mathbb{R}$

Is there a bijection between $\mathbb{Z}\times\mathbb{Z}\times\dots$ for countably infinitely many $\mathbb{Z}$'s and $\mathbb{R}$? That is, is $\mathbb{Z}\times\mathbb{Z}\times\dots$, repeated ...
7
votes
1answer
547 views

Can an infinite cardinal number be a sum of two smaller cardinal number?

Let $\kappa$ be an infinite cardinal number. My question is whether there are $\lambda$ and $\mu$ such that both $<\kappa$ but $\lambda+\mu=\kappa$? If AC holds, then the answer is definitely ...
7
votes
1answer
203 views

Monotonic “Subfunction”

Let $f$: $\mathbb{R}\longrightarrow\mathbb{R}$ be an arbitrary function. Must there exist $E\subseteq\mathbb{R}$ of size continuum, such that $f$ restricted to $E$ is monotonic? I guess this ...
7
votes
1answer
50 views

Does deleting a subset of an infinite set that has strictly smaller cardinality leave the cardinality of the infinite set unchanged?

Is it a theorem of ZFC that if $X \subseteq Y$, $|X| < |Y|$, $Y$ is infinite, then $|Y \setminus X|=|Y|$?
7
votes
2answers
296 views

Can proper classes also have cardinality?

In some set theories such as ZF+GAC, in which GAC is global axiom of choice, the Von Neumann universe $V$ bijects to $Ord$, the class of ordinals. It suggests us that proper classes may also have ...
7
votes
1answer
335 views

Number of well-ordering relations on a well-orderable infinite set $A$?

Given a well-orderable infinite set $A$, can we always say that the set $$\left\{R\in A\times A:\langle A,R\rangle\, \text{is a well-ordering}\right\}$$ has cardinality $2^{|A|}$? How much Choice is ...
7
votes
1answer
177 views

Sequence of surjections imply choice

I am reading a paper where a side remark said that if a sequence $\langle g_\beta\colon\omega\to\beta\mid\beta<\omega_1\rangle$ is a sequence of surjections then $\omega_1$ is regular. I have ...
7
votes
1answer
158 views

What would a world where $\mathsf{CH}$ is false look like?

My question is a little more specific than the title may lead to believe. In the article The set-theoretic multiverse (J.D. Hamkins), the author writes the following: [...] the continuum is ...
7
votes
1answer
219 views

Question about the order of a Stationary subset of $ \kappa$

Greets I'm trying to prove one part of exercise 8.14 of Jech's "Set Theory", namely that if $o(k)\geq k$, then $k$ is weakly inaccessible, where $\kappa$ is regular; $o(\kappa)$ is defined as ...
7
votes
1answer
323 views

powers of singular cardinals

I am trying to solve the following two problems: 1) if $\beta <\omega_1$, $2^{\aleph_1}<\aleph_{\omega_1}$, and $\aleph_\alpha^{\aleph_0} \leq \aleph_{\alpha +\beta}$ for a stationary set of ...
7
votes
2answers
909 views

Non-existence of a surjection $\aleph_n \to \aleph_{n+1}$, without the axiom of choice

Firstly, let's establish what exactly I mean by these symbols. Let $\omega_0 = \{ 0, 1, 2, \ldots \}$, where $0, 1, 2, \ldots$ are the usual von Neumann representations of the natural numbers. Let $n$ ...
7
votes
1answer
113 views

For an infinite cardinal $\kappa$, $\aleph_0 \leq 2^{2^\kappa}$

I'm trying to do a past paper question which states: $$ \text{For all infinite cardinals $\kappa$, we have } \aleph_0 \leq 2^{2^\kappa}. $$ I'm supposed to be able to do this without the axiom of ...
7
votes
1answer
114 views

Why we use $\mathrm{Fn}(\kappa\times\lambda,2,\lambda)$ to force $2^\lambda\ge\kappa$ instead of $\mathrm{Fn}(\kappa\times \lambda,2)$

I am reading Kunen's Set Theory and I learn that, $\operatorname{Fn}(\kappa\times\omega,2)$ forces $2^{\aleph_0}\ge|\kappa|$, where $$\operatorname{Fn}(I,J,\lambda)=\{p:p\text{ ...
7
votes
1answer
159 views

weak consequence of GCH

Can ZFC prove that there is a regular uncountable cardinal $\kappa$ such that $2^{<\kappa} < 2^\kappa$? Note, if the answer is no, it would require a strong global violation of SCH, so large ...
7
votes
1answer
92 views

Characterizing categories by size

Usually one distinguishes five classes of categories by size, and there are examples for all of them: finite categories locally finite categories small categories locally small categories large ...
7
votes
1answer
147 views

Why should the union of such a family of sets have cardinality $\aleph_1?$

Let $\mathcal A$ be a family of infinite countable sets which is linearly ordered by inclusion and such that $\bigcup\mathcal A$ is uncountable. I have to prove that $|\bigcup\mathcal A|=\aleph_1.$ I ...
7
votes
1answer
785 views

Examples of sets whose cardinalities are $\aleph_{n}$, or any large cardinal. (not assuming GCH)

One of the answers to this question indicates that large cardinals are useful for destructive testing of set theory. That aside, and not assuming GCH, are there any sets known that have a cardinality ...
7
votes
1answer
165 views

Constructing a Banach space of cardinality $\beth_{\omega+1}$

This is related to yesterday's question Constructing a vector space of dimension $\beth_\omega$; it's the next exercise (I.13.35 (a)) in Kunen's Set Theory. Let $B_0 = \ell^1$ and let $B_{n+1} = ...
7
votes
1answer
105 views

$V=L[A]$ implies GCH for $A\subset \aleph_1$

On page 14 of the introduction to Vol. II of Gödel's collected works: By a slightly more difficult argument one can show that GCH continues to hold if $V=L[a]$ and $a\subseteq\aleph_1$. Does ...
7
votes
1answer
142 views

$(\beth_{\omega})^\omega=\beth_{\omega+1}$

I'm trying to show that $(\beth_{\omega})^\omega=2^{\beth_\omega}$. This is an exercise in Kunen where he suggests to encode subsets of $\beth_\omega$ with functions from ...
7
votes
1answer
136 views

Instance of Continuum Hypothesis implying cardinal inequality

I'm currently trying to solve Exercise 5.27 of Jech's Set Theory (3rd Millennium ed.), viz: If $2^{\aleph_1}=\aleph_2$, then $\aleph_{\omega}^{\aleph_0} \ne \aleph_{\omega_1}$. The presumption ...
7
votes
1answer
167 views

Can all Power Sets be Limit Cardinals?

Is it possible to create a model of ZFC, so that the cardinality of each power set is a limit cardinal (as opposed to GCH where they are always successor cardinals)? Take for example the following ...
7
votes
1answer
422 views

What is the standard proof that $\dim(k^{\mathbb N})$ is uncountable?

This is my (silly) proof to a claim on top of p. 54 of Rotman's "Homological algebra". For $k$ an infinite field (the finite case is trivial) prove that $k^\mathbb{N}$, the $k$-space of functions ...
7
votes
0answers
127 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 ...
7
votes
0answers
121 views

Raising a partial function to the power of an ordinal

Consider a set $X$, and let $f : X \rightarrow X$ denote a partial function. Then for natural $n$, we can define $f^n$ as iterated composition, e.g. $f^2 = f \circ f$. Now suppose that $X$ is also ...
7
votes
0answers
121 views

AC iff $P(\delta)$ can be well-ordered for all $\delta\in{\bf On}$ [duplicate]

I'm trying to do the following exercise: Exercise. Assume ZF. Then AC is equivalent to the statement that $P(\delta)$ can be well-ordered for all $\delta\in{\bf On}$. I'm struggling with the ...
7
votes
0answers
243 views

About singular $\beth_{\alpha}$ for limit ordinals $\alpha$

Why are there cofinitely many regular cardinals of type $\beth_{\beta}$ below any given singular $\beth_{\alpha}$, if $\alpha$ is a limit ordinal?
6
votes
4answers
2k views

Taking away infinitely many elements infinitely many times [duplicate]

This is a somewhat hand wavy question but I'm not sure how to ask it more precisely. If we have a countably infinite sequence (or set), can we take away infinitely many elements from the sequence ...
6
votes
5answers
2k views

Are there fewer reals on $(0, 1)$ than on $(1,\infty)$?

I know that the cardinality of the sets of real numbers $(0, 1)$ and $(1, \infty)$ are equal. So what is the fallacy in this argument? For every real on $(0, 1)$, we can add any integer $n$ to it ...
6
votes
3answers
1k views

How do we prove the existence of uncountably many transcendental numbers?

I know how to prove the countability of sets using equivalence relations to other sets, but I'm not sure how to go about proving the uncountability of the transcendental numbers (i.e., numbers that ...
6
votes
5answers
431 views

cardinality of the set of $ \varphi: \mathbb N \to \mathbb N$ such that $\varphi$ is an increasing sequence

I know that the set of functions $ f:\mathbb N \to \mathbb N$ is uncountable, but what if we consider only $f$ such that $f$ is increasing? I want to know if this set is countable D: and also the case ...
6
votes
5answers
2k views

Show that open segment $(a,b)$, close segment $[a,b]$ have the same cardinality as $\mathbb{R}$

a) Show that any open segment $(a,b)$ with $a<b$ has the same cardinality as $\mathbb{R}$. b) Show that any closed segment $[a,b]$ with $a<b$ has the same cardinality as $\mathbb{R}$. ...
6
votes
4answers
2k views

What is the set of all functions from $\{0, 1\}$ to $\mathbb{N}$ equinumerous to?

What is the set of all functions from $\{0, 1\}$ to $\mathbb{N}$ equinumerous to? I have figured out the question when it's the other way around, but I am not making any progress here. The worst thing ...
6
votes
2answers
740 views

Why do we distinguish between infinite cardinalities but not between infinite values?

More specifically, why are we "allowed" to denote $|\mathbb{N}|<|\mathbb{R}|$ but not $\sum\limits_{n\in\mathbb{N}}1<\sum\limits_{r\in\mathbb{R}}1$? Can we distinguish between "countable ...
6
votes
5answers
2k views

cardinality of all real sequences

I was wondering what the cardinality of the set of all real sequences is. A random search through this site says that it is equal to the cardinality of the real numbers. This is very surprising to me, ...
6
votes
2answers
2k views

How to understand the regular cardinal? [closed]

How to understand the regular cardinal? Could someone give me some examples?
6
votes
3answers
489 views

Find a bijective mapping that shows that [0,1] and [0,1) have the same cardinality [duplicate]

I need to show that the two sets $[0,1]$ and $[0,1)$ have the same cardinality. I know that in order to show this I must show that there exists $f$ such that $f:[0,1]\to[0,1),$ but I am not sure how ...
6
votes
3answers
359 views

What is the first cardinal number which is grearter than continuum?

What is the first cardinal number which is grearter than continuum? We denote it by ? Thanks very much.
6
votes
3answers
628 views

Can we distinguish $\aleph_0$ from $\aleph_1$ in Nature?

Can we even find examples of infinity in nature?
6
votes
3answers
836 views

How to prove cardinality equality ($\mathfrak c^\mathfrak c=2^\mathfrak c$)

How do I prove this cardinality equality:$\mathfrak c^\mathfrak c=2^\mathfrak c$ I have failed to prove this after lots of trail - but I am certain it's true How can I prove this?
6
votes
2answers
429 views

prove cardinality rule $|A-B|=|B-A|\rightarrow|A|=|B|$

I need to prove this $|A-B|=|B-A|\rightarrow|A|=|B|$ I managed to come up with this: let $f:A-B\to B-A$ while $f$ is bijective. then define $g\colon A\to B$ as follows: $$g(x)=\begin{cases} ...
6
votes
2answers
601 views

What is the Cardinality of the Nameable Numbers?

Having just finished "Meta Math!" (Chaitin), I came across an interesting observation on infinite sets that I hadn't seen before. If I'm correct (and please let me know if I'm not): 1] There are ...
6
votes
3answers
1k views

Infinite sets with cardinality less than the natural numbers

Are there any infinite sets that have a lower cardinality than the natural numbers? Is there a proof of this?
6
votes
2answers
760 views

Cardinality of sets of subsets of $\mathbb{N}$

If we dont assume CH, is there a procedure to construct or define a set of subsets of $\mathbb{N}$ such that we cannot prove it to be of cardinality $\aleph_0$ or $\aleph_1$? Or if we assume not CH, ...
6
votes
1answer
258 views

is there a cardinality between the rational and the irrationals?

Was asked this question, and I have no idea about how to start proving it. Could someone give me some good reference material to start with.
6
votes
2answers
54 views

Let $X \subseteq \mathbb R$ and $X$ has same cardinality as $\mathbb R$ , does there always exist a continuous surjection from $\mathbb R$ onto $X$ ?

Let $X \subseteq \mathbb R$ and $X$ has same cardinality as $\mathbb R$ , does there always exist a continuous surjection from $\mathbb R$ onto $X$ ? ( I know that there need not always be a ...