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
1answer
162 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
1answer
187 views

Why is ${\aleph_\omega}^{\aleph_1} = {\aleph_\omega}^{\aleph_0} \cdot {2}^{\aleph_1}$? [duplicate]

I am supposed to prove that ${\aleph_\omega}^{\aleph_1} = {\aleph_\omega}^{\aleph_0} \cdot {2}^{\aleph_1}$ , but I really have no idea how to start or what to do. I thought I could use the following ...
5
votes
2answers
2k views

What is known about the power set of the real number line?

Cantor's theorem states that the cardinality of a set's powerset is strictly greater than that of the set itself. This clearly applies to the reals also; if I'm not mistaken, the cardinality of the ...
5
votes
1answer
58 views

What is the cardinality of an element of an free ultrafilter?

Let $U$ be a free ultrafilter on a set $X$. I want to prove that the cardinality of every element $u\in U$ is equipotent to $X$. Is that true? Or does it lack some hypothesis?
5
votes
1answer
82 views

Why is this cardinal regular?

I have the following problem in front of me. Show that if $\kappa$ is the least cardinal such that $2^\kappa>2^{\aleph_0},$ then $\kappa$ is regular. I've scribbled this: Suppose ...
5
votes
1answer
203 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
112 views

A question regarding the Power set

In the proofs that I have seen so far for showing that the power set $2^X$ of a set $X$ cannot be in bijection to $X$, the common idea is to assume that there exists a surjection $f \colon X \to 2^X$ ...
5
votes
1answer
182 views

Exercise on partially ordered sets from Kunen's *Set Theory*

This problem is Exercise (F4) from Chapter VII of Kunen's text. Apparently, it is a result of Tarski. It goes as follows: Let $ \mathbb{P} $ be a partial order. Define $ \text{c.c.}(\mathbb{P}) $ ...
5
votes
2answers
256 views

How does the supremum of the cardinalities of a set of ordinals relate to the supremum of the ordinals?

Suppose we have a set of ordinals such that their supremum is a cardinal (not in the original set). $\sup\{\alpha\}=\kappa$ I'm interested in the supremum of the cardinalities of those ordinals: ...
5
votes
1answer
361 views

Is $2^\infty$ uncountable and is cardinality a continuous function?

I apologize if the title seems too vague, but this is how I was asked the question. So one of my friends intended to write an infinite sum like $\displaystyle \sum_{i=1}^{\infty} a_{2^i}$ . However, ...
5
votes
3answers
342 views

A cardinal exponentiation question

Suppose $\kappa$ and $\lambda$ are infinite cardinals and that $\lambda$ is regular. Kunen states somewhere that this means that we have ...
5
votes
1answer
115 views

Filter completeness question

I have a question about filters which I suspect has a very simple answer (hence my asking it here as opposed to MO): Let $F$ be a filter on an infinite set $X$. Then $F$ is "countably closed" if for ...
5
votes
1answer
101 views

Do we need choice to prove that $|\mathbb{N} \times A| = |A|$ for all infinite sets $A$?

I can't think of any way to prove it without choice.
5
votes
2answers
93 views

Product of a family of spaces of countable tightness

I recently learned the concept of cardinal functions and some of the definitions and theorems are not clear to me. How can we prove this theorem? Finite family of compact spaces of countable ...
5
votes
1answer
139 views

One problem about complemented subspace

Question: For every Banach space $X$ and its subspace $Y$, is there a complemented subspace $Z$ in $X$ such that $Y \subset Z \subset X $ and $\operatorname{card}(Y)=\operatorname{card}(Z)$ i.e., $Y$ ...
5
votes
1answer
196 views

Cardinality of Reals and Turing Machines

I'm a math hobbyist, so forgive me if what I ask is silly. I just learned that the cardinality of Reals is greater than the Naturals. So, because of that, there can be no turing machines which ...
5
votes
1answer
370 views

Do sets whose power sets have the same cardinality, have the same cardinality? [duplicate]

Possible Duplicate: power set cardinal equality Let $X$ and $Y$ be sets, and suppose that $|\mathscr{P}(X)| = |\mathscr{P}(Y)|$ (where $\mathscr{P}$ denotes the power set). Does it follow ...
5
votes
0answers
66 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 ...
5
votes
0answers
177 views

Is there a simple example of a ring that satifies the DCC on two-sided ideals, but doesn't satisfy the ACC on two-sided ideals?

It follows from the Hopkins–Levitzki theorem that if a ring satisfies the DCC on left ideals, then it also satisfies the ACC on left ideals. I've been trying to find a counterexample to the following ...
4
votes
5answers
277 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 ...
4
votes
5answers
1k 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, ...
4
votes
3answers
264 views

The real line has cardinality at most $\aleph_2$, but transfinite ordinal space has arbitrarily high cardinality: what is wrong?

In the context of supertasks, people and mathematicians are comfortable with the idea of transfinite ordinal time, that is, that time can be divided into an arbitrarily high number of steps. In most ...
4
votes
4answers
402 views
4
votes
3answers
364 views

Which set is unwell-orderable?

In textbook it says that every well-orderable set is equipotent to an initial ordinal number. However, of course unwell-orderable cannot equipotent to any ordinal number, but is there any set is ...
4
votes
3answers
153 views

An easy to understand definition of $\omega_1$?

I have two things I'm not sure in 100% about them. The first, is $\omega_1$. I have a little "feeling" of it, but if I'll be asked to define it - I don't know where to begin from. Perhaps it is ...
4
votes
1answer
175 views

How much is ${\aleph_0}^{\aleph _ 0}$? [duplicate]

How much is ${\aleph_0}^{\aleph _ 0}$? On the left I can find ${2}^{\aleph_0}\le {\aleph_0}^{\aleph _ 0}$ but on the right I can not found someone that is $\le$. In general, how do I use ...
4
votes
4answers
2k views

Cardinality of the Irrationals [duplicate]

Possible Duplicate: Proof that the irrational numbers are uncountable We previously proved that $\mathbb{Q}$, the set of rational numbers, is countable and $\mathbb{R}$, the set of real ...
4
votes
4answers
258 views

Hilbert's Hotel and Infinities for Pre-university Students

Hilbert's paradox of the grand hotel is a fun and exciting ground to base a talk on the set theoretic concept of infinity for interested students - even in middle- and high school. However, it does ...
4
votes
4answers
529 views

Cardinality of Vitali sets: countably or uncountably infinite?

I am a bit confused about the cardinality of the Vitali sets. Just a quick background on what I gather about their construction so far: We divide the real interval $[0,1]$ into an uncountable number ...
4
votes
4answers
538 views

What is the cardinality of the group of bijections from $\Omega$ to $\Omega$ with finite support?

These questions cropped up in the discussion in this question, What is the cardinality of the group of bijections from $\Omega$ to $\Omega$ with finite support, where $\Omega=\mathbb{N}$? ...
4
votes
2answers
206 views

Ordinals that satisfy $\alpha = \aleph_\alpha$ with cofinality $\kappa$

I am trying to solve the following question: Prove that for every regular cardinal, $\kappa \gt \aleph_0$, there is a exists an $\alpha$ with cofinality $\kappa$ such that $\alpha = ...
4
votes
2answers
109 views

$\sum_{\alpha<\omega_2}|\alpha|^{\aleph_0}=\aleph_2\cdot\aleph_1^{\aleph_0}$

I've seen this statement in multiple posts (e.g. here and here), but I can't seem to understand it. I can see why $$\sum_{\alpha<\omega_2}|\alpha|^{\aleph_0}=\aleph_1^{\aleph_0},$$ by noting that ...
4
votes
1answer
198 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.
4
votes
4answers
222 views

Conclusion about cardinalty.

Assume that: $$\left| T \right| > {\aleph _0}$$ Why can't one assume immediately that: $$\left| T \right| \cdot \left| T \right| > \left| T \right| \cdot {\aleph _0}$$
4
votes
2answers
129 views

The regularity of successor cardinal

I was looking at two different proofs of the fact that successor cardinals are regular. It struck me as odd that both proofs used AC. Looking at the concepts involved in defining cofinality I feel as ...
4
votes
3answers
155 views

Cardinal arithmetic questions

I have problem to solve: Let $a,b$ and $c$ be cardinal numbers. Prove that $a+b=b$, $b \le c$ implies $a+c=c$. And trying to prove this I got couple questions: For infinite cardinal $c$, is ...
4
votes
2answers
157 views

How badly can GCH fail?

I'm interested in "how many" cardinals we can cram between $\kappa$ and $2^\kappa$ before ZFC says "nope, too many" as measured by order type. So my question is (and i don't know if this is ...
4
votes
3answers
371 views

Proving that for infinite $\kappa$, $|[\kappa]^\lambda|=\kappa^\lambda$

Initially assume ZFC. Let $\binom{\kappa}{\lambda}$ denotes $\left|[\kappa]^{\lambda}\right|$ where $[\kappa]^{\lambda}$ is the collection of all subsets of $\kappa$ with cardinality $\lambda$. That ...
4
votes
3answers
102 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 ...
4
votes
1answer
188 views

the set of countable sets of Real numbers

I would like to ask some hints towards the proof that The set of countable sets in $\mathbb{R}$ is equinumerous to the set $\mathbb{R}$
4
votes
2answers
635 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$, ...
4
votes
2answers
305 views

How to divide aleph numbers

Recently, I was wondering how division of aleph numbers would work. First, I thought about how finite cardinality division would work. What I came up with was that the result of $A/B$ where $A$ and ...
4
votes
1answer
154 views

Prove that: $\aleph_0 \cdot \frak{c} = \frak{c} \cdot \frak{c}$

I've been fiddling with this enough. Found an answer here but didn't quite understand it. How do I prove that: $$\aleph_0 \cdot \frak{c} \leq \frak{c} \cdot \frak{c}$$ $$\frak{c} \cdot \frak{c} \leq ...
4
votes
2answers
135 views

CH imples the existence of a function

I was studying an article and the author stated that CH implies that there exists a function from $\omega_1 \setminus \omega$ onto the set of all countable subsets of $\omega_1$ such that for each ...
4
votes
1answer
69 views

If $cf(\kappa)=\lambda$, then is every sequence of length $\lambda$ cofinal in $\kappa$?

Take $\omega_1$ for instance. Let's say I have a sequence of (distinct) ordinals of length $\omega_1$. Will this sequence be cofinal in $\omega_1$?
4
votes
3answers
151 views

$\aleph_1\leq A$ for an uncountable set $A$

So we have to prove (axiom of choice is given) that $\aleph_1$ which is the next aleph after $\aleph_0=\omega$ satisfies $$\aleph_1\leq A$$ given that $A$ is uncountable. Here was my reasoning. The ...
4
votes
1answer
125 views

Bijection between countable ordinals and reals

The set of all countable ordinals is $\omega_1$, which has a cardinality of $\aleph_1$. When accepting the continuum hypothesis, $2^{\aleph_0} = \aleph_1$, so a bijection between countable ordinals ...
4
votes
1answer
77 views

If $X$ is Hausdorff and $|X|> \mathfrak{c}$, does $X$ always have a uncountable discrete subspace?

Let $X$ be a Hausdorff topological space with $|X|> \mathfrak c$. Does $X$ always have a uncountable discrete subspace? Thanks for your help.
4
votes
1answer
78 views

A cardinal $\kappa$ such that $2^{\lambda}<\kappa$ for all $\lambda<\kappa$ is regular?

A cardinal $\kappa$ such that $2^{\lambda}<\kappa$ for all $\lambda<\kappa$ is regular? I would appreciate very much an answer
4
votes
2answers
153 views

Understanding proof of Hartogs’ Theorem on Set Theory

I'm trying to understand the proof of the Hartogs’ Theorem on page 100 of this book. My especific question is: If we have for each set $A$ $$\mathrm{WO}(A)=\{ (U,\leq_{U}) \, | \, U\subseteq A \, ...