2
votes
2answers
101 views

Is the Axiom of Choice necessary to prove $\mathbb R \approx \mathcal P(\omega)$?

I am self-studying Horst Herrlich, Axiom of Choice (Lecture Notes in Mathematics, Vol. 1876), and I'm getting quite confused about cardinal arithmetic without AC. Here (Which sets are well-orderable ...
1
vote
1answer
28 views

The function space from $n$ to $m$ and the exponent $m^n$ are equinumerous (proof)

Can someone provide a tip with creating the bijection for the titular problem? Any tip is helpful! Update: $n=\{ 0,\ldots,n-1 \}$, $m=\{ 0,\ldots,m-1 \}$, and $ m^n=\{0,\ldots,m^n-1\} $. In other ...
0
votes
2answers
54 views

Prove that the sets $S$ and $D$ have the same cardinality

Prove that the sets $S$ and $D$ have the same cardinality, where $S = \{(x,y)\mid-1\leq x \leq 1\text{ and }-1\leq y\leq 1\}$ and $D = \{(x,y)\mid x^2 + y^2 \leq 1\}$.
1
vote
2answers
59 views

Prove $|A| = |B|$

Let $A= \{a_1,a_2,a_3,\ldots\}$. Define $B = A − \{a_{n^2} : n \in\mathbb N\}$. Prove that $|A|=|B|$. I would say that $B = \{a_2,a_3,a_5,a_6,\ldots\}$. Thus $B$ is a infinite subset of $A$ and ...
0
votes
0answers
22 views

$a\le b$ iff there exist $\left|A\right|=a, \left|B\right|=b$ and $A\subseteq B$ [duplicate]

$a\le b$ iff there exist $\left|A\right|=a, \left|B\right|=b$ and $A\subseteq B$ My Proof: $(\Leftarrow)$ $A\subseteq B$ implies immediately that $\left|A\right|\le\left|B\right|$. Hence, $a\le ...
1
vote
1answer
41 views

Proving $X\sim Y$

Let $f:A\rightarrow B$, a bijection. Suppose $X\subseteq A$ and $Y\subseteq B$ are two sets such that $f(X)\subseteq Y$ and $f^{-1}(Y)\subseteq X$. Show that $X\sim Y$ and $f/X$ is the bijection ...
2
votes
3answers
224 views

Upper bound on cardinality of a field

Is there an upper bound on the cardinality of a field? The "biggest" fields I know are the field of real numbers, or the field of complex numbers. Is there a field with cardinality greater than ...
0
votes
1answer
60 views

How to prove there is no surjection [duplicate]

This is the following problem: Let $X$ be a set. Prove that there is not a surjection from $X \rightarrow 2^X$ (Hint: Assume to the contrary that f : X 2^X is a surjection and consider the set $M=\{ ...
8
votes
2answers
457 views

Does taking the power set give you the “next biggest cardinal”

I know that if you take the power set of a set, it has a higher cardinality. Therefore there are an infinite number of them as $P^{n}(\mathbb{N})$(the nth power set of the naturals) Let's say $$C_{n} ...
1
vote
2answers
58 views

An injection from $\mathbb{N}$ to $\mathbb{N}^n$.

I'm currently attempting to prove $\mathbb{N}^n \sim \mathbb{N}$ via Cantor-Schroeder-Berstein (because I found no other way). In my work so far I've managed to find an injective function $f$ from ...
-1
votes
0answers
26 views

Does there exist a cardinal $\kappa$ such that $\aleph_{\kappa} = \kappa$? [duplicate]

Does there exist a cardinal $\kappa$ such that $\aleph_{\kappa} = \kappa$ ? Moreover is there one that is regular? Thanks in advance!
1
vote
1answer
36 views

A question about cardinal numbers in ZF set theory.

It is well known that cardinal numbers and the relations between them can be defined in ZF set theory (using the notion of "rank"), without the need of additional axioms. Can the following statement ...
2
votes
1answer
58 views

Proving there's a set with the cardinality $\mathfrak c$ on the $x$ axis of points that do not belong to the set of disks

Prove/disprove: On the $x$ axis there's a set with the cardinality $\mathfrak c$ of points that do not belong to any disk of a set $O$ of disjoint disks of positive radius $\{(x,y)\in \mathbb ...
2
votes
1answer
30 views

Let $\alpha, \beta, \gamma$ be cardinals, $\beta \leq \gamma$, prove $\alpha ^{\beta}\le \alpha ^{\gamma}$

Let $|A|=\alpha, |B|=\beta, |C|= \gamma$ be cardinals and $\beta \leq \gamma$. Prove $\alpha ^{\beta}\le \alpha ^{\gamma}$. So from the given we know that there's an injection $f:B\to C$ and some ...
2
votes
2answers
32 views

$|A|=\mathcal c \ \ |B|=\aleph_0 \ \ A\cap B=\emptyset$ prove that $ |A\cup B|=\mathcal c$

Let $|A|=\mathcal c, \ |B|=\aleph_0, \ A\cap B=\emptyset,$ Prove that $ |A\cup B|=\mathcal c$ So $|A\cup B|=|A|+|B|$ but this just leads to cardinal arithmetic which I don't think is the right ...
6
votes
1answer
93 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 ...
3
votes
2answers
29 views

cardinality of infinite sets with cartesian product

claim: $A,B,C,D$ are infinite if $|A\times B|=|C\times D|$ then $|A|=|C|$, $|B|=|D|$ , prove or give a counter example. So imo, the claim is false, using $A=D=\mathbb{R}$ , $B=C=\mathbb{N}$ , is it ...
1
vote
1answer
57 views

Is it true , if $|A|=|B|$ and $|C|=|D|$, then $|A \times C| = |B \times D|$?

Check my proof, please. Divide into subsets $A \times C$ and $B \times D$ so that , all pairs with the same element belong to the same subset. Each such subset $|A \times C|$ bijective $C$, $|C|=|D|$ ...
10
votes
9answers
4k views

Is the sum of all natural numbers countable?

I do not even know if the question makes sense. The point is rather simply. If I have the sum of all natural numbers, $$\sum_{n\in \mathbb{N}}n$$ this is clearly "equal to infinity". But since ...
0
votes
1answer
44 views

What is the cardinality of the set of all higher order functions mapping real functions to real functions?

What is the cardinality of the set of all higher order functions mapping real functions to real functions? To be specific, this set includes all higher order functions with the type signature: ...
3
votes
2answers
36 views

Why this function defines a bijection?

Show that if $B\subset A$ and there is an injective function $f:A\to B$, then $\operatorname{card}(A)=\operatorname{card}(B)$. This exercise suggest a way to solve the problem: define $A_1=A, ...
0
votes
1answer
31 views

How to show $A_1 \approx A_2 \iff \mathrm{card}(A_1)=\mathrm{card}(A_2)$

For any set $A_1$ and $A_2$, let us define the relation $\approx$ if there exists a bijection between $A_1$ and $A_2$. Then I want to show that $A_1 \approx A_2 \iff ...
2
votes
1answer
31 views

Show that $\left|X\right|=\left|Y\right|$

Let $A, B$, two sets. $X$ is the set of all relations from $A$ to $B$, and $Y$ is the set of all functions from $A$ to $P(B)$ (power-set of $B$). Prove that $\left|X\right|=\left|Y\right|$. My ...
1
vote
1answer
45 views

show that for an infinite cardinal $k$, $k + k = k$

Show that for an infinite cardinal $k$, $k + k = k$ So far I have that $k + k = 2k$ Is it possible to somehow show that $2k = k$? I've been trying to understand some cardinal arithmetic, and I ...
2
votes
1answer
62 views

Behaviour of sum of $2^\kappa$ for all $\kappa<\lambda$ when $\lambda$ is singular [closed]

What can we say about the conditions under which $\sum\limits_{\kappa<\lambda}2^\kappa \leq \lambda$ holds when $\lambda$ is singular?
2
votes
1answer
61 views

How far is it possible to develop cardinals without ordinals?

I'm wondering which of the usual facts about cardinals in ZFC can be established without using ordinal arithmetic at all. After all the definitions of a cardinal (as a class of equivalence), and also ...
0
votes
2answers
52 views

Are there any cardinal k with k infinite cardinals below it? [closed]

If there are,please write down the smallest one.
3
votes
2answers
39 views

Question about partitions in intervals of the real numbers.

I have to prove the following: Let $ \mathcal{D} $ be a partition of $ \mathbb{R} $ in intervals of any kind, except intervals containing a single element. Prove $ \mathcal{D} $ is countable. ...
0
votes
3answers
42 views

For all finite sets $A$ and $B$, $\{ f:B\to A \}$ is finite and its (finite) cardinality is $|A|^{|B|}$.

In Halmos' Naive Set Theory (towards the end of the "Arithmetic" chapter) he mentions the titular claim: For all finite sets $A$ and $B$, $\{ f:B\to A \}$ is finite and its (finite) cardinal is ...
0
votes
0answers
10 views

A question about countability. [duplicate]

I would like to know if $\mathbb{N}$ has the same cardinality as the set $\mathcal{P}_{0}(\mathbb{N}) = \{ A \subset \mathbb{N}: A \text{ is a finite set } \}.$ My strategy was to prove that $\left| ...
0
votes
1answer
23 views

Order of cardinal number

I am puzzled. Wikipedia says: "|X| ≤ |Y| means that there exists an injective function from X to Y." Let's see sets A and B: A = {1,2,3} and B = {1,2}. f: A → B: 1 ↦ 1, 2 ↦ 2. f is injective, but |B| ...
1
vote
2answers
58 views

Any infinite set partitioned into a set of countably infinite sets?

Prove that if $s$ is infinite, then it can be partitioned into a set of countably infinite sets $\mathcal{A}$. That is: $\bigcup \mathcal{A}=s$ $\forall a\in \mathcal{A}, a$ is countably ...
1
vote
1answer
39 views

factorial of infinite Cardinals

Let $S_A$ be set of all bijections over $A$ such that $Card(A)=\kappa$. Define foctorial as $\kappa!:=Card(S_A)$. Show that if $\kappa$ is infinite, then : $\kappa!=2^\kappa$ First, I've ...
0
votes
1answer
21 views

Seemingly basic cardinality question

If $A\subset A'$, $B\subset B'$, if $card(A)=card(B)$ and $card(A')=card(B')$, why is it that $card(A'\backslash A)=card(B'\backslash B)$ ?
0
votes
2answers
28 views

Proove the next cardinal property: $\kappa>1$ $\Rightarrow$ $\lambda \leq \kappa^{\lambda}$

Let $\kappa>1$ and $\lambda$ be cardinals. Proove that: $\lambda \leq \kappa^{\lambda}$
0
votes
0answers
21 views

Is 2 a regular cardinal?

there are different definitions of regular cardinals. (1)a cardinal k is regular if cf(k)=k,since 2 is a successor cardinal,cf(2)=1.so cf(2) is not 2,so 2 is not regular. (2)a cardinal k is regular if ...
2
votes
1answer
36 views

If $|X|<|Y|$ then $|Y|=|Y-X|$ (with $Y$ infinite)

Like the title says, I would like to prove that if $|X|<|Y|$ then $|Y|=|Y-X|$. (with $Y$ infinite) I know I have to use the axiom of choice, but I've no idea about how to proceed. Any help is ...
0
votes
1answer
39 views

Are these ordinals cardinals?

Consider $\omega_2 \times \omega$ and $\omega \times \omega_2$ with ordinal arithmetic. Then $| \omega_2 \times \omega | =\omega_2$ and $| \omega \times \omega_2 | =\omega_2$ Does this imply ...
15
votes
5answers
1k views

Why study cardinals, ordinals and the like?

Why is the study of infinite cardinals, ordinals and the like so prevalent in set theory and logic? What's so interesting about infinite cardinals beyond $\aleph _0 $ and $\mathfrak{c} $? It seems ...
2
votes
1answer
38 views

Proving $|X^{\mathbb{R}}| \lt |\mathbb{R}^X|$ for $X=\mathbb{R}^{\mathbb{R}}$

Let $X=\mathbb{R}^{\mathbb{R}}$. Claim: $|X^{\mathbb{R}}| \lt |\mathbb{R}^X|$ How can this be shown? Note: We are assuming AC and $A^B$ represents the set of functions from B into A
1
vote
2answers
53 views

Prove that if an injection exists such that $f: A\to \mathbb{N}$, the set $A$ is countable

I know that since an injection, $f: A \rightarrow \mathbb{N}$ exists, that $|A| \leq |\mathbb{N}|$. That's as far as I've gotten. The definition for "countable" from my book states that "A set is ...
1
vote
2answers
45 views

Is a limit ordinal necessarily a cardinal?

Maybe this is a trivial question. I see that every infinite cardinal is necessarily a limit ordinal, but is the converse true ?
0
votes
1answer
33 views

$A<_c B \implies P(A)<_c P(B)$

Just started studying set theory. It's seems to me intuitivly correct that if $A<_c B \implies P(A)<_c P(B)$ where $_c$ is the cardinality of a set and $P(\cdot)$ is the powerset. Am I right? I ...
0
votes
2answers
62 views

What should Aleph-Two mean?

Just curious, what should Aleph-Two mean? I know that Aleph-One is distinct from Aleph-Null and Aleph-One is not countable, but does Aleph-Two mean?
1
vote
1answer
41 views

Is the cardinality of an ordinal, $\alpha$ less than $\alpha$?

Let $k^+=\{\alpha : \alpha \hspace{2mm} \text{is an ordinal,and} \hspace{2mm} |\alpha|<\kappa\}$ where $k^+$ is an infinite cardinal. I am trying to understand the proof the the following ...
2
votes
1answer
23 views

Given cardinal numbers $\kappa < \nu$ with $\nu$ an aleph fixed-point, do we necessarily have $\aleph_\kappa < \nu$?

Given cardinal numbers $\kappa < \nu$ with $\nu$ an aleph fixed-point, its clear that $\aleph_\kappa \leq \nu$. Is this inequality in fact strict?
1
vote
1answer
40 views

Is the following characterization of weak inaccessibility correct?

Let us accept the von Neumann cardinal assignment for this question. Furthermore, given a cardinal number $\kappa$, let us write $2^\kappa$ for the unique cardinal number isomorphic to the powerset of ...
0
votes
2answers
47 views

Determining the cardinality of these sets.

I am having trouble with determining the cardinality(finite, denumerable, uncountable) of these two sets: The set of all circles in $\mathbb{R}^2$ in form $(x-a)^2+(y-b)^2=R^2$ with ...
3
votes
2answers
43 views

Cardinality of the set of at most countable subsets of the real line?

I'm exploring an unrelated question about power series with complex coefficients. While exploring this question, I wondered: What is the cardinality of the set of all such power series? Or with ...
2
votes
3answers
47 views

Cardinality of the set of all involutions from $\mathbb N$ to itself

The following is a section in my homework, I couldnt solve it so I'm asking for some help. I have the following set : $\{f:\mathbb N \to \mathbb N | f(f(a)) = a \text{ for all } a\in \mathbb N\}$. I ...