Intereting Posts

A probability question that I failed to answer in a job interview
Finding basis of $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$ over $\mathbb{Q}$
Complex analysis, showing a function is constant
KDV PDE: energy constant in time
Difference between $\mathbb C$ and $\mathbb R^2$
Adjoining an element to a ring
Why do we categorize all other (iso.) singularities as “essential”?
What is the function given by $\sum_{n=0}^\infty \binom{b+2n}{b+n} x^n$, where $b\ge 0$, $|x| <1$
If $\operatorname{ran} F \subseteq \operatorname{dom} G$, then $\operatorname{dom}(G \circ F) = \operatorname{dom} F$.
Finite abelian $p$-group with only one subgroup size $p$ is cyclic
Finding a choice function without the choice axiom
Volume of pentahedron having all sides of length 1?
Matrices (Hermitian and Unitary)
How to show that $\sum\limits_{k=1}^{n-1}\frac{k!k^{n-k}}{n!}$ is asymptotically $\sqrt{\frac{\pi n}{2}}$?
Diophantine equation $a^m + b^m = c^n$ ($m, n$ coprime)

What is the cardinality of the set of hyperreal numbers?

- Looking for Cantor's original proof of the Cantor-Bernstein theorem that relies on the axiom of choice?
- Question about Generalized Continuum Hypothesis
- Proving the Cantor Pairing Function Bijective
- How to divide aleph numbers
- Does any uncountable set contain two disjoint uncountable sets?
- Concept behind the limit to infinity?
- A few questions on nonstandard analysis
- Is $\aleph_0$ the minimum infinite cardinal number in $ZF$?
- For Infinite Cardinals does $A > B \Rightarrow A^C > B^C$?
- List of explicit enumerations of rational numbers

The Hyperreal numbers can be constructed as an ultrapower of the real numbers, over a countable index set. I will assume this construction in my answer.

The hyperreal field $^*\mathbb R$ is defined as $\displaystyle(\prod_{n\in\mathbb N}\mathbb R)/U$, where $U$ is a non-principal ultrafilter over $\mathbb N$.

Informally, we consider the set of all infinite sequences of real numbers, and we identify the sequences $\langle a_n\mid n\in\mathbb N\rangle$ and $\langle b_n\mid n\in\mathbb N\rangle$ whenever $\{n\in\mathbb N\mid a_n=b_n\}\in U$.

Since $U$ is an ultrafilter this is an equivalence relation (this is a good exercise to understand why).

Since the cardinality of $\mathbb R$ is $2^{\aleph_0}$, and clearly $|\mathbb R|\le|^*\mathbb R|$. On the other hand, $|^*\mathbb R|$ is at most the cardinality of the product of countably many copies of $\mathbb R$, therefore we have that $2^{\aleph_0}=|\mathbb R|\le|^*\mathbb R|\le(2^{\aleph_0})^{\aleph_0}=2^{\aleph_0\times\aleph_0}=2^{\aleph_0}$. Therefore the cardinality of the hyperreals is $2^{\aleph_0}$.

A usual approach is to choose a representative from each equivalence class, and let this collection be the actual field itself. However we can also view each hyperreal number is an equivalence class of the ultraproduct.

Suppose $[\langle a_n\rangle]$ is a hyperreal representing the sequence $\langle a_n\rangle$.

Since $U$ is non-principal we can change finitely many coordinates and remain within the same equivalence class. So for every $r\in\mathbb R$ consider $\langle a^r_n\rangle$ as the sequence:

$$a^r_n = \begin{cases}r &n=0\\a_n &n>0\end{cases}$$

We have only changed one coordinate. Therefore the equivalence to $\langle a_n\rangle$ remains, so every equivalence class (a hyperreal number) is also of cardinality continuum, i.e. $2^{\aleph_0}$ (as it is at least of that cardinality and is strictly contained in the product, which is also of size continuum as above).

- Are orbits equal if and only if stabilizers are conjugate?
- In a right triangle, can $a+b=c?$
- Arbitrary Set A a Function??
- Estimate $\displaystyle\int_0^\infty\frac{t^n}{n!}e^{-e^t}dt$ accurately.
- Separability of $A \subseteq C$ implies separability of $B \subseteq C$, where $A \subseteq B \subseteq C$
- Pre-requisites needed for algebraic number theory
- How to solve inequalities with absolute values on both sides?
- Pushforward of Inverse Map around the identity?
- Differential equation for Harmonic Motion
- Huffman optimal code
- $PGL_2(q)$ acts on $\Omega$ $3-$transitively?
- Set of Finite Subsets of an Infinite Set (Enderton, Chapter 6.32)
- A natural number multiplied by some integer results in a number with only ones and zeros
- polynomials such that $P(k)=Q(l)$ for all integer $k$
- Primes dividing a polynomial