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

3
votes
1answer
69 views

Are there non-equivalent cardinal arithmetics?

‎Generalizing a concept in mathematics is always a problematic situation. In most cases there are several ways to generalize a notion and it is not easy to decide if a particular generalization is ...
0
votes
1answer
53 views

understanding cardinal numbers arithmetic

I have a question about notation in a book I'm reading on set theory and beside of my question I will be glad for a recommendation for a good book that explains well cardinal numbers arithmetic. If ...
17
votes
2answers
1k views

Are there number systems corresponding to higher cardinalities than the real numbers?

As most of you know, the set $\omega$ with cardinality $\aleph_0$ corresponds to what we normally know as the natural numbers $\mathbb{N}$, and the set $\mathcal{P}(\omega)$ with cardinality ...
1
vote
1answer
83 views

Is the set of all cardinals smaller then a strongly inaccessible cardinal closed?

Given a strongly inaccessible cardinal $k$ (i.e. $k$ is regular uncountable and for each $\lambda < k$, $2^\lambda < k$), is the set of all cardinals smaller then $k$ closed or open? Mahlo ...
4
votes
0answers
53 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} ...
0
votes
0answers
65 views
+200

Cardinal number of the set of all one-to-one mappings of $A$ onto itself.

This is an exercise in Naive Set Theory by P. R. Halmos. If $\text{card }A=a$, what is the cardinal number of the set of all one-to-one mappings of $A$ onto itself? What is the cardinal number ...
0
votes
3answers
42 views

determining the cardinality [duplicate]

Let $S$ be the collection of closed intervals in the real line whose lengths are positive rational numbers. Determine the cardinality of $S$. Justify your answer As I understand, $S$ will be an ...
0
votes
1answer
36 views

Cardinality of a set of closed intervals

What is the cardinality of the set S of all closed intervals on the real number line with rational (positive) lengths? I believe the number of intervals with a specific fixed length but varying start ...
1
vote
1answer
38 views

a question on cardinality

Suppose $S$ and $T$ are sets such that $|S|=|T|$ Prove that $|\mathcal{P}(S)|=|\mathcal{P}(T)|$. To start with, $|S|<|\mathcal{P}(S)|$; $|T|<|\mathcal{P}(T)|$. Just the statement itself sounds ...
1
vote
5answers
86 views

Let A be a set of all infinite sequences consisting of 0's and 1's. Prove that A is not countable.

Sequences such as {010101010101...., 10100100100...., etc} if i am not wrong these sequences can represent all the real numbers in the binary format, so a such a set will not be countable. but i am ...
1
vote
0answers
45 views

Characterizability in $L^2_{\kappa^+\omega}$

I'm reading an article on second order characterizability. At some point in the article it proves that any model $A$ of cardinality $\kappa$ must be characterizable in $L^2_{\kappa^+\omega}$. I.e. ...
2
votes
2answers
59 views

A forcing that is $\omega_1$-closed and $\omega_2$-c.c.

I am reading an article (on second order characterizability) which at some point in a proof states that by forcing with $\mathbb P=\{f:\alpha\to\{0,1\},\alpha\in\omega_1\}$ we do not add subsets to ...
0
votes
1answer
23 views

a question concerning multiplication of cardinal numbers

Consider $\{B_i\}$ where $i\in I$ and $I$ is countable infinite. $|B_i|=|B_j|=n$ for all $i,j$ and $n \ge |\mathbb{N}|$. I want to show that $| \large \cup_{i\in I}$$B_i|=n$ I am given that $a*a=a$ ...
2
votes
0answers
80 views

How large is an uncountable regular cardinal which is closed under arbitrary fast operators?

Let $Card$ be the proper class of all cardinals, define an infinite set of operators like $\otimes_{n}:(Card\setminus \omega)\times (Card\setminus\{0\})\longrightarrow Card$ which are defined for each ...
2
votes
3answers
116 views

Example of set of cardinality $\aleph_2$

I am looking for an example of a set of cardinality $\aleph_2$, such as the continuum is an example for cardinality $\aleph_1$.
1
vote
2answers
51 views

Showing $\prod_{n < \omega} n = 2^{\aleph_0}$ [duplicate]

I have to show that $\prod_{n < \omega} n = 2^{\aleph_0}$. I'm having trouble getting started. I know that $2^{\aleph_0}$ is the set of binary sequences, or the space of functions from $\mathbb{N}$ ...
3
votes
1answer
69 views

$\kappa$ ineffable $\Rightarrow$ $\kappa$ tree-property

Let $\kappa$ be an uncountable, regular cardinal. We call $\kappa$ ineffable iff for every sequence $(A_\xi \colon \xi < \kappa)$ of subsets $A_\xi \subseteq \xi$ there is a stationary subset $S ...
3
votes
3answers
159 views

The Free Set Lemma

The statement of the lemma is as follows: if $$f: \omega_1 \rightarrow \{x\ :\ x\ \textrm{is finite}\}$$ then there is an uncountable $S \subseteq \omega_1$ such that for all distinct $\alpha,\ \beta ...
0
votes
1answer
35 views

How to define an explicit bijection from P(N) to 2^N [closed]

How do I define an explicit bijection between the power set of N and $2^N$ with $2^N =\{f|f:N\to\{0,1\} \text{ is a function} \}$?
0
votes
2answers
22 views

How do I prove an equivalence of these two statements about Cantor's hypotheses?

How do I prove that the continuum hypotheses as stated by George Cantor (There are no sets with cardinality between the cardinality of the real and the cardinality of the rational numbers) is ...
0
votes
1answer
24 views

smallest cardinal greater than an infinite ordinal is a regular cardinal

let $\alpha$ be an infinite ordinal, and $\alpha^+$ be the smallest cardinal greater than $\alpha$. Show that $\kappa^+$ is a regular cardinal. This is for homework, but I'm not really sure where to ...
4
votes
0answers
55 views

$\mu$-clubs and stationary sets consisting of elements with cofinality $\mu$

Let $\mu < \kappa$ be infinite cardinals. A set $C$ is called a $\mu$-club in $\kappa$, if it is unbounded in $\kappa$ and contains all its limit points of cofinality $\mu$. Now let $T \subset S ...
3
votes
1answer
56 views

If $2^{\aleph_{\beta}}\geq \aleph_{\alpha}$, then $\aleph_{\alpha}^{\aleph_{\beta}}=2^{\aleph_{\beta}}$.

If $2^{\aleph_{\beta}}\geq \aleph_{\alpha}$, then $\aleph_{\alpha}^{\aleph_{\beta}}=2^{\aleph_{\beta}}$. Proof: Note that if $\beta \geq \alpha$, then we have ...
1
vote
1answer
39 views

Cardinality question on vector spaces

Suppose $F$ is a field and $J$ an infinite set. Is it then true that $\mathrm{card} \ J<\mathrm{card} \ F^J$? ($F^J$ the set of maps $J\rightarrow F$) I know that $\leqslant $, but is it true and ...
1
vote
2answers
72 views

The cardinality of a union of two sets

Assume that the cardinality of the union of two sets is continuum. How to prove that at least one of the sets has the cardinality of a continuum? I suppose that it's possible to cope with it, using ...
1
vote
1answer
22 views

Cardinality of the power set $\mathcal P\left(S\right),$ where $S$ is a set of $15$ elements?

What is the cardinality of the power set $\mathcal P\left(S\right)$ where $S$ is a set of $15$ elements? I think the power set is a set of all the subsets of a given set or $2^n$. So would the ...
0
votes
0answers
21 views

Prove that for a subset $A$ of $\mathbb{R}$, if $|A| = \omega$ then $|\mathbb{R} - A| = 2^\omega$ [duplicate]

I'm just starting with fundamental set theory and am trying to solve the following problem: Prove that for a subset $A$ of $\mathbb{R}$, if $|A| = \omega$ then $|\mathbb{R} - A| = 2^\omega$. I think ...
7
votes
2answers
544 views

Could someone explain aleph numbers?

I am having trouble understanding aleph numbers. I understand $\aleph_0$ is a countable infinity, but after that, I'm lost. What are $\aleph_1,\aleph_2,\aleph_3$, etc. to $\aleph_n$? Is there an ...
2
votes
2answers
64 views

Cardinality of the set of all numbers that modern math can define?

I have recently learned that the algebraic numbers are countably infinite, and that very few transcendental numbers are known. Are enough transcendentals known to make up an uncountable set, or is ...
1
vote
1answer
36 views

Prove that $\omega_{\alpha+1}$ is regular

Here, under the section 'Regular and Singular Cardinal', there is this sentence 'Assuming the Axiom of Choice, $\omega_{\alpha+1}$ is regular for each $\alpha$' . May I know how to prove this? Also, ...
0
votes
1answer
30 views

Haudorff Formula Set Theory

For every $\alpha$ and every $\beta$, $$\aleph_{\alpha+1}^{\aleph_{\beta}}=\aleph_{\alpha}^{\aleph_{\beta}} \cdot \aleph_{\alpha+1}$$ Proof: If $\beta \geq \alpha+1$, then ...
4
votes
3answers
86 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 ...
1
vote
1answer
38 views

Cardinality for Kleene star and infinite Cartesian products.

Let $X$ be a finite set with at least 2 elements. Then the set of all finite-length "strings", $$X^* = \bigcup_{L \in \mathbb{Z}^+} \prod_{i=1}^L X_i = \{ (x_1, \ldots, x_L) : L \in \mathbb{Z}^+ ...
0
votes
1answer
67 views

Infinite Cardinal Addition Without the Axiom of Choice

In the book 'Introduction to Set Theory' by Hrbacek and Jech, cardinal addition is defined as $$\sum_{i \in I}{\kappa_i}=\left|\bigcup_{i \in I}{A_i} \right|$$ where $|A_i|=k_i$ for all $i \in I$ ...
3
votes
3answers
60 views

$|A\times B|= \text{max}(|A|,|B|)$ for infinite sets

I am fairly sure, given examples $\Bbb{R}\times \Bbb{R},\Bbb{R}\times \Bbb{Q},\Bbb{Q}\times \Bbb{Q} $, that this is correct, but do not know how to prove it. In my cited examples the proof has ...
0
votes
1answer
35 views

Mapping between set cardinalities

Please help me prove the following equalities between set cardinalities by explicitly showing an appropriate mapping: $$\left | (0,1) \right |= \left | (1,+\infty ) \right |$$
1
vote
1answer
50 views

Comparing cardinalities

Why these two sets are equinumerous? $$[0,1]^\Bbb N\text{ and }\Bbb Q^\Bbb N$$ Here is my reason: The set of rational numbers $\Bbb Q$ is countably infinite. However, $[0, 1]$ is not countable and ...
0
votes
0answers
45 views

Cardinal Arithmetic Example Wikipedia

Hello I am studying cardinal arithmetic, and found out that I found that $\mathfrak{c}^{\aleph_0} = (2^{\aleph_0})^{\aleph_0} = 2^{\aleph_0 \aleph_0} = 2^{\aleph_0} = \mathfrak{c} $. However I found ...
0
votes
0answers
23 views

Prove that the set is countable [duplicate]

Question: We call a real number $x$ $algebraic$ if $x$ is the root of a polynomial equation $c_{0}+c_{1}x+...+ c_{n}x^{n}$ where all $c_{i}$'s are integers. For example $\pm \sqrt{3}$ are algebraic ...
4
votes
1answer
49 views

Is it possible to define a map from $\aleph_0$?

In an assignment question I am asked to show that the cardinality of the set of all functions from $\mathbb{N}$ to $\mathbb{N}$ is equal to $2^{\aleph_0}$. To proceed with my proof I am trying to ...
0
votes
2answers
60 views

Show that $\aleph_{\alpha} +\aleph_{\alpha} = \aleph_{\alpha}$ and $n \cdot \aleph_{\alpha} = \aleph_{\alpha}$

a) Give a direct proof of $\aleph_{\alpha} +\aleph_{\alpha} = \aleph_{\alpha}$ by expressing $\omega_{\alpha}$ as a disjoint union of two sets of cardinality $\aleph_{\alpha}$. b) Give a direct proof ...
0
votes
0answers
18 views

Logarithms of Cardinals [duplicate]

Given any infinite cardinal $\lambda\neq\omega$, is it the case that there's a cardinal $\kappa$ such that $2^{\kappa}=\lambda$? Does this depend on whether the Continuum Hypothesis is true? Clearly, ...
6
votes
2answers
109 views

Does $\sf GCH$ imply that every uncountable cardinal is of the form $2^\kappa$?

I think that this is a popular fallacy that GCH implies that every uncountable cardinal is of the form $2^\kappa$ for some $\kappa$. I think it does imply that for successor cardinals only. It cannot ...
3
votes
1answer
64 views

If $2^{\aleph_0}$ is weakly inaccessible, can every cardinal $\kappa$ in the interval $[\aleph_0,2^{\aleph_0})$ satisfy $2^\kappa = 2^{\aleph_0}$?

Question. Is the following consistent with ZFC? $2^{\aleph_0}$ is weakly inaccessible Every cardinal $\kappa$ in the interval $[\aleph_0,2^{\aleph_0})$ satisfies $2^\kappa = ...
3
votes
2answers
65 views

$0^\sharp$ and the regularity of $\aleph_\omega$

I'm sure I'm missing something trivial, and the most likely of it is that I'm simply wrong on my understanding of the constructible universe $L$, or maybe one of the Wikipedia entries I'm about to ...
4
votes
3answers
141 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
0answers
39 views

Can every cardinal number between $\kappa^+$ and $2^\kappa$ be realized in this way?

(Assume ZFC for the entire question. By a tree, I mean a tree in the sense of set theory. I write $h(T)$ for the height of a tree $T$, and $h(f)$ for the height of an element $f \in T$.) Definition ...
0
votes
1answer
36 views

dimension of direct products

Suppose $\{V_i\}_{i\in I}$ is a family of $k$ vector spaces. Is it possible to calculate $\dim\oplus_{i\in I} V_i$ and $\dim\prod_{i\in I}V_i$?
2
votes
1answer
41 views

Cardinality: is it true that $|X^\mathcal{inj}| \leq 2^{|X|}$?

Definition. Whenever $X$ is a set, write $X^\mathcal{inj}$ for the collection of all injections $f$ such that: $f$ has codomain $X$ There exists an ordinal $\alpha$ such that $f$ has domain ...
1
vote
0answers
38 views

Is it true that $\dim(X) \leq \dim(X^{\ast})$ for every infinite dimentional banach space $X$?

So given an arbitrary infinite dimensional Banach space $X$ can we deduce that it's dimension $\dim(X)$ (the cardinality of one of it's Hamel bases) is less or equal of the dimension $\dim(X^{\ast})$ ...