Number Theory Archives - Time Travel, Quantum Entanglement and Quantum Computing https://stationarystates.com/category/number-theory/ Not only is the Universe stranger than we think, it is stranger than we can think...Hiesenberg Mon, 13 Oct 2025 18:34:21 +0000 en-US hourly 1 https://wordpress.org/?v=6.9.1 Uncountability of (0,1): Cantor’s Diagonal Argument https://stationarystates.com/pure-math/uncountability-of-01-cantors-diagonal-argument/?utm_source=rss&utm_medium=rss&utm_campaign=uncountability-of-01-cantors-diagonal-argument https://stationarystates.com/pure-math/uncountability-of-01-cantors-diagonal-argument/#comments Mon, 13 Oct 2025 17:22:24 +0000 https://stationarystates.com/?p=1043 The Reals in Are Not Countably Infinite See also – Cardinality of the Rationals – Positive and Negative included Claim The interval is uncountable. Equivalently, there is no bijection . […]

The post Uncountability of (0,1): Cantor’s Diagonal Argument appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
body { font-family: system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif; line-height: 1.6; margin: 2rem auto; max-width: 900px; padding: 0 1rem; }
h1, h2 { line-height: 1.25; }
.eq { display:block; margin: 0.6rem 0; }
.note { background:#fafafa; border-left:4px solid #e2e8f0; padding:0.75rem 1rem; }
ol, ul { padding-left: 1.25rem; }

The Reals in (0,1) Are Not Countably Infinite

See also – Cardinality of the Rationals – Positive and Negative included

Claim

The interval (0,1)\subset \mathbb{R} is uncountable. Equivalently, there is no bijection
f:\mathbb{N}\to(0,1).

Proof (Cantor’s Diagonal Argument)

Suppose for contradiction that (0,1) is countable. Then its elements can be listed as a sequence:

    \[ x_1,\, x_2,\, x_3,\, \dots \]

Write each x_n in (a chosen) decimal expansion:

    \[ x_n \;=\; 0.d_{n1}d_{n2}d_{n3}\dots,\qquad d_{nk}\in\{0,1,\dots,9\}. \]

Convention: If a real admits two decimal expansions (e.g., 0.4999\ldots=0.5), choose the one
not ending with an infinite tail of 9s. This removes ambiguity.

Construct a new number y\in(0,1) by defining its digits c_1,c_2,c_3,\dots along the diagonal:

    \[ c_n \;=\; \begin{cases} 1, & \text{if } d_{nn}\neq 1,\\ 2, & \text{if } d_{nn}=1, \end{cases} \qquad\text{and}\qquad y \;=\; 0.c_1c_2c_3\ldots \]

By construction, y differs from x_n in the n-th digit, so y\neq x_n for all n. This contradicts the assumption that \{x_n\} lists all elements of (0,1).

Therefore, (0,1) is uncountable. \square

Consequences

  • (0,1) has the same cardinality as \mathbb{R} (the continuum):

    \[ |(0,1)| \;=\; |\mathbb{R}|. \]

  • The natural numbers are strictly “smaller” in cardinality:

    \[ |\mathbb{N}| \;<\; |(0,1)| \;=\; |\mathbb{R}|. \]

 

The post Uncountability of (0,1): Cantor’s Diagonal Argument appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
https://stationarystates.com/pure-math/uncountability-of-01-cantors-diagonal-argument/feed/ 1
Cardinality of the Rationals (Including Negative Rationals) https://stationarystates.com/pure-math/cardinality-of-the-rationals-including-negative-rationals/?utm_source=rss&utm_medium=rss&utm_campaign=cardinality-of-the-rationals-including-negative-rationals Mon, 13 Oct 2025 16:34:04 +0000 https://stationarystates.com/?p=1041 Also read ‘Cardinality of the Reals’ Do Negative Rationals Change the Cardinality? Short answer: No. Adding negative rationals keeps the set countably infinite, the same cardinality as the integers . […]

The post Cardinality of the Rationals (Including Negative Rationals) appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
body { font-family: system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif; line-height: 1.6; margin: 2rem auto; max-width: 880px; padding: 0 1rem; }
h1, h2 { line-height: 1.25; }
.eq { display:block; margin: 0.6rem 0; }
.note { background:#fafafa; border-left:4px solid #e2e8f0; padding:0.75rem 1rem; }

Also read ‘Cardinality of the Reals’

Do Negative Rationals Change the Cardinality?

Short answer: No. Adding negative rationals keeps the set countably infinite, the same cardinality as the integers \mathbb{Z}.

1) Positive Rationals vs. Integers

The positive rationals \mathbb{Q}^+ can be listed (e.g., via Cantor’s diagonal), giving a bijection with \mathbb{N}:

    \[ |\mathbb{Q}^+| = |\mathbb{N}|. \]

2) Adding Negative Rationals

The nonzero rationals split as \mathbb{Q}\setminus\{0\}=\mathbb{Q}^+\cup\mathbb{Q}^-. The map q\mapsto -q is a bijection \mathbb{Q}^+\to\mathbb{Q}^-, so

    \[ |\mathbb{Q}^-| = |\mathbb{Q}^+| = |\mathbb{N}|. \]

The union of two countable sets is countable, hence

    \[ |\mathbb{Q}^+ \cup \mathbb{Q}^-| = |\mathbb{N}|. \]

Adding the single element 0 does not change cardinality.

3) Conclusion

    \[ |\mathbb{Q}| = |\mathbb{Q}^+ \cup \mathbb{Q}^- \cup \{0\}| = |\mathbb{N}|. \]

✅ Including negative rationals does not increase the cardinality; the rationals remain countably infinite, like the integers.

 

The post Cardinality of the Rationals (Including Negative Rationals) appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
The Monster Group in mathematics https://stationarystates.com/number-theory/the-monster-group-in-mathematics/?utm_source=rss&utm_medium=rss&utm_campaign=the-monster-group-in-mathematics Thu, 06 Jun 2024 22:48:48 +0000 https://stationarystates.com/?p=427 The Monster Group, often referred to as the “Monster” or M\mathbb{M}M, is the largest sporadic simple group in mathematics. It plays a significant role in the field of group theory, […]

The post The Monster Group in mathematics appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
The Monster Group, often referred to as the “Monster” or M\mathbb{M}, is the largest sporadic simple group in mathematics. It plays a significant role in the field of group theory, a branch of abstract algebra. Here are some key aspects of the Monster Group:

Basic Properties:

  1. Order: The Monster Group has an enormous order, specifically:

    ∣M∣=808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000| \mathbb{M} | = 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000This can also be expressed as approximately 8×10538 \times 10^{53}.

  2. Structure: It is a finite simple group, meaning it has no non-trivial normal subgroups other than the group itself and the trivial group. It is also one of the 26 sporadic simple groups, which do not fit into the infinite families of simple groups.
  3. Elements and Conjugacy Classes: The Monster Group has 194 conjugacy classes, which means there are 194 distinct ways its elements can be grouped based on their behavior under conjugation.

Historical Context:

  1. Discovery: The existence of the Monster Group was conjectured in the 1970s by mathematicians Bernd Fischer and Robert Griess. Robert Griess constructed it explicitly in 1982, using a 196,883-dimensional representation over the real numbers, which is why it’s sometimes referred to as the “Friendly Giant.”
  2. Connections to Other Areas:
    • Monstrous Moonshine: The Monster Group is closely related to modular functions and has deep connections with number theory. The term “Monstrous Moonshine” refers to unexpected and profound relationships between the Monster Group and the theory of modular functions, particularly the j-invariant.
    • Vertex Operator Algebras: The Monster Group has significant ties to the theory of vertex operator algebras, which also play a crucial role in conformal field theory and string theory.
  3. Applications and Impact: Although the Monster Group is primarily of theoretical interest in pure mathematics, its discovery and the related structures have led to the development of new areas and insights in both mathematics and theoretical physics. The study of the Monster and its connections to other fields has led to advances in understanding symmetries in mathematics.

Mathematical Representation:

  1. Representations: The smallest non-trivial representation of the Monster Group is 196,883-dimensional. This representation plays a crucial role in the construction and study of the group.
  2. Construction: The Monster Group can be constructed using various algebraic structures and techniques, including vertex operator algebras, Leech lattice (a lattice in 24-dimensional space), and others.

In summary, the Monster Group is a central object of study in modern algebra due to its enormous size, complex structure, and deep connections to other areas of mathematics and theoretical physics.

The post The Monster Group in mathematics appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Perfect Numbers – and a best case algorithm https://stationarystates.com/number-theory/perfect-numbers-and-a-best-case-algorithm/?utm_source=rss&utm_medium=rss&utm_campaign=perfect-numbers-and-a-best-case-algorithm Sun, 07 Mar 2021 16:04:00 +0000 http://stationarystates.com/?p=139 Brute Force Algorithm – O (N) The brute force approach will loop through all the way from 1 to N – looking for divisors and add them to a running […]

The post Perfect Numbers – and a best case algorithm appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>
Brute Force Algorithm – O (N)

The brute force approach will loop through all the way from 1 to N – looking for divisors and add them to a running sum.

public boolean checkPerfectNumber(int num) {
if (num <= 0) {
return false;
}
int sum = 0;
for (int i = 1; i * i <= num; i++) {
if (num % i == 0) {
sum += i;
if (i * i != num) {
sum += num / i;
}

}
}
return sum - num == num;
}
}

Only Loop till SqRt (N) – O(sqrt N)

There is no need to loop till N. Any divisor will need to be less than or equal to sqrt N. So – shorten the loop to only go till sqrt N.

The post Perfect Numbers – and a best case algorithm appeared first on Time Travel, Quantum Entanglement and Quantum Computing.

]]>