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
91 views

Proving that $\sf Add$$(\aleph_\omega , 1)$ collapses cardinals $\leq \aleph_\omega$

First, let me fix some notation. $\sf Fn$$(I, J, \kappa) = $ the poset of all partial functions $p$ such that $|p| < \kappa$, dom$(p) \subseteq I$ and rng$(p) \subseteq J$. $\sf Add$$(\kappa, ...
5
votes
1answer
88 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
124 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
110 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
646 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
307 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
242 views

Does any uncountable set contain two disjoint uncountable sets?

Is it true that for any uncountable $S$, there exits two uncountable subsets $S_1,S_2 \subseteq S$ with $S_1 \cap S_2 = \emptyset$? I can find no counter example, but no proof either. I am aware of ...
5
votes
1answer
136 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
86 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
83 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
177 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
125 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
176 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
214 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
200 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
1answer
39 views

How to prove $cf(\aleph_{\omega_1})=\omega_1$?

I am reading Jech's & Hrbacek's book "Introduction to set theory" and this is question 2.2 from chaper 9: Prove $cf(\aleph_{\omega_1})=\omega_1$ Isn't it clear from the fact that ...
5
votes
1answer
76 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{ ...
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
89 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
222 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
119 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
197 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
290 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
369 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
361 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
131 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
108 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
1answer
401 views

List of explicit enumerations of rational numbers

A well-known mathematical fact is that the rational numbers are countable, i.e. there is a bijective function $$f:\mathbb{N}\rightarrow \mathbb{Q}$$ I am interesting in making a list of all explicit ...
5
votes
2answers
97 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
140 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
216 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
424 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
1answer
97 views

A club-guessing exercise

I came across this club-guessing exercise on Cardinal Arithmetic by Abraham and Magidor in the Handbook of Set Theory. Let $\kappa, \lambda$ be regular cardinals $\kappa^{++}<\lambda$ and let ...
5
votes
1answer
62 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 ...
5
votes
0answers
68 views

For cardinals, if $\mathfrak{a}\ne\mathfrak{b}$ then $2^\mathfrak{a}\ne 2^\mathfrak{b}$

In the usual ZF (or ZFC) set theory, let $\mathfrak{a}$ and $\mathfrak{b}$ be cardinal numbers. Is it correct that one can neither prove nor disprove the statement: $$\mathfrak{a}\ne\mathfrak{b} ...
5
votes
0answers
179 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
4answers
690 views

What infinity is greater than the continuum? Show with an example

The diagonal argument establishes that the continuum is greater than countable infinity. What is an example of the next infinity (or any greater infinity) and how can it be shown that there is no 1:1 ...
4
votes
5answers
288 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
283 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
443 views
4
votes
3answers
389 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
162 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
190 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
290 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
580 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
559 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
238 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
117 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 ...