Three Windows Into Laegna:
How Dimensions, Infinity, and Units Change What Numbers Mean
Mathematics usually treats numbers as points on a line. Infinity is “just big,” units are
“just labels,” and dimensions are “just geometry.”
Laegna turns these assumptions inside out.
In Laegna, a number is a dimensional object, infinity has
density, and units create different kinds of limits.
This article introduces these ideas in three approachable parts.
Article 1 — What Does It Mean for Infinity to Have a Dimension?
Imagine a 1‑centimeter line. It contains infinitely many points.
Now imagine a 1‑cm² square. It also contains infinitely many points.
And a 1‑cm³ cube? Same story.
“If all these shapes have the same number of points, why do they feel so different?”
Laegna answers: because their infinities have different dimensional orders.
\[
\inf^1 u^1 \quad\text{(line)},\qquad
\inf^2 u^2 \quad\text{(square)},\qquad
\inf^3 u^3 \quad\text{(cube)}.
\]
Even though the sets have the same cardinality, their measures live in
different unit spaces:
- length → cm
- area → cm²
- volume → cm³
These units are not interchangeable. A square centimeter is not “just more centimeters.”
It is a different kind of quantity.
Laegna treats each dimensional infinity as a different “species” of infinity.
They cannot be compared directly, but they can be related by a
dimensional multiplier.
This multiplier is what lets you “lift” a 1D infinity into 2D, or compress a 3D infinity into
a 1D projection. It is the engine behind Laegna’s dimensional arithmetic.
Article 2 — Why a Square Has a Different Ordering Than a Line
A line has a simple order: left to right.
A square does not. It has two independent directions.
When you project a square onto a line using:
\[
s = x + y,
\]
you collapse a 2D world into a 1D shadow.
Many different points in the square map to the same number.
“A square centimeter is not just a bigger line. It is a different ordering of infinity.”
This is why Laegna says that each dimension creates a new ordering of numbers.
The line’s order is not the square’s order, and the square’s order is not the cube’s.
The dimensional hinge at 2
There is a special value where addition and multiplication coincide:
\[
2 + 2 = 2 \cdot 2 = 4.
\]
This value marks the boundary between:
- filling a dimension (0 → 2)
- unfolding a dimension (2 → 4)
This is why Laegna treats the interval 2..4 as a “linearized exponent” — a way to walk through
infinity using a finite scale.
Article 3 — Why a Limit in cm Is Not the Same as a Limit in cm²
Suppose you have two sequences:
\[
a_n \text{ cm}, \qquad b_n \text{ cm}^2.
\]
Even if the numbers \(a_n\) and \(b_n\) are tightly correlated — even if they share a perfect
symmetry at infinity — their limits live in different dimensional spaces.
“A limit in centimeters cannot equal a limit in square centimeters,
even if the numbers look the same.”
This is because:
- cm is a 1D unit
- cm² is a 2D unit
And these units cannot be converted without introducing a dimensional multiplier — the same
multiplier that relates \(\inf^1\) to \(\inf^2\).
In Laegna, units are not decorations.
They are dimensional identities that determine what a number is allowed to
equal.
So even if:
\[
\lim_{n\to\infty} a_n = A, \qquad
\lim_{n\to\infty} b_n = A,
\]
the quantities:
\[
A\text{ cm} \neq A\text{ cm}^2.
\]
They are different kinds of objects.
Their equality is not even a meaningful question.
What These Three Articles Add Up To
Laegna gives numbers a body, not just a position.
It treats infinity as a layered structure, not a single idea.
And it treats units as dimensional identities, not labels.
Together, these ideas form a new way to think about mathematics — one where geometry,
infinity, and arithmetic are all part of the same dimensional language.
Dimensional Infinities, Units, and Distinct Limits in Laegna
Abstract.
We formalize the idea that infinities of different dimensional orders
\(\inf^1 u^1, \inf^2 u^2, \inf^3 u^3\) (for a base unit \(u\)) are qualitatively distinct,
even when their underlying point sets have equal cardinality. We show how dimensional
multipliers compare these infinities, and prove that limits of sequences with different units
(e.g. \(a_n\,\text{cm}\) and \(b_n\,\text{cm}^2\)) remain distinct values, even when their
numeric parts are correlated and share symmetry at infinity.
1. Dimensional infinities and units
Fix a base unit \(u\) (e.g. \(u = 1\text{ cm}\)). Consider the following spaces:
\[
L^1 = [0,1]u \subset \mathbb{R}^1,\quad
L^2 = [0,1]^2 u^2 \subset \mathbb{R}^2,\quad
L^3 = [0,1]^3 u^3 \subset \mathbb{R}^3.
\]
Each carries a natural measure: length on \(L^1\), area on \(L^2\), volume on \(L^3\).
We denote these measures by \(\mu_1, \mu_2, \mu_3\).
Definition 1 (Dimensional infinity of order \(k\))
For \(k \in \{1,2,3\}\), define the dimensional infinity of order \(k\) as the
unbounded family of disjoint copies of \(L^k\) along a ray:
\[
\inf^k u^k := \{ L^k_n \mid n \in \mathbb{N} \}, \quad
L^k_n \cong L^k,\quad L^k_n \cap L^k_m = \emptyset \text{ for } n \neq m.
\]
The total measure of this family is
\[
\mu_k(\inf^k u^k) = \sum_{n=1}^{\infty} \mu_k(L^k_n) = \infty \cdot u^k.
\]
Proposition 1 (Dimensional distinction)
For \(k \neq \ell\), the infinities \(\inf^k u^k\) and \(\inf^\ell u^\ell\) are
incomparable as measures, but are related by a dimensional multiplier when embedded into a
higher‑dimensional system.
Proof.
As sets, \(L^1, L^2, L^3\) all have the same cardinality (that of the continuum).
However, their measures \(\mu_1, \mu_2, \mu_3\) take values in different unit spaces:
\(\mathbb{R}u^1, \mathbb{R}u^2, \mathbb{R}u^3\). There is no unit‑preserving isomorphism
between \(\mathbb{R}u^k\) and \(\mathbb{R}u^\ell\) for \(k \neq \ell\).
When we embed \(L^1\) into \(L^3\) as a line segment inside a cube, we obtain a
dimensional multiplier: a factor that converts length into volume by attaching
two additional orthogonal infinitesimal directions. This multiplier is not a scalar in
\(\mathbb{R}\), but a change of unit from \(u^1\) to \(u^3\).
Thus \(\inf^1 u^1\) and \(\inf^3 u^3\) cannot be compared as pure measures, but can be
related via a dimensional shift that tracks how many orthogonal infinitesimal directions
are attached. This is the Laegna dimensional multiplier. \(\square\)
In Laegna terms: the ordering of points inside \(L^1\) and \(L^2\) is
different because the measure space and unit space are different, even though the underlying
cardinality is the same.
2. New ordering induced by square and cube units
The passage from \(u^1\) to \(u^2\) and \(u^3\) does more than change units: it changes the
way infinities are organized.
Lemma 1 (Square units induce a new ordering)
Let \(x \in L^1\) and \((x,y) \in L^2\). The projection
\[
\pi(x,y) = x + y \in [0,2]u
\]
defines a linear order on the square, but this order is not equivalent to the original
order on the line \(L^1\).
Proof.
The line \(L^1\) has its natural order inherited from \(\mathbb{R}\). The square \(L^2\)
has a partial order (product order) and many possible linear extensions. The map
\(\pi(x,y) = x + y\) collapses the 2D structure into a 1D interval, but different pairs
\((x_1,y_1)\) and \((x_2,y_2)\) with the same sum are identified:
\[
x_1 + y_1 = x_2 + y_2 \quad \Rightarrow \quad \pi(x_1,y_1) = \pi(x_2,y_2).
\]
Thus the induced order on \(L^2\) via \(\pi\) is not isomorphic to the original order on
\(L^1\); it is a quotient order that encodes 2D structure in a different way. This is a
genuinely new ordering, arising from the square unit \(u^2\). \(\square\)
Proposition 2 (Dimensional multiplier as reusable infinity)
Once a dimensional infinity \(\inf^2 u^2\) is introduced, it can be reused as a building
block for higher dimensions, yielding \(\inf^3 u^3, \inf^4 u^4,\dots\) via repeated
attachment of orthogonal infinitesimal directions.
Proof.
Consider \(L^2 = [0,1]^2 u^2\). To obtain \(L^3\), we attach a new orthogonal axis
\(z \in [0,1]\) with unit \(u\), forming
\[
L^3 = L^2 \times [0,1]u.
\]
The measure satisfies
\[
\mu_3(L^3) = \mu_2(L^2) \cdot u.
\]
Repeating this construction, each new dimension multiplies the existing infinity by an
additional infinitesimal direction. Thus \(\inf^2 u^2\) serves as a reusable “module” for
constructing \(\inf^3 u^3\), \(\inf^4 u^4\), etc., each with its own unit and ordering.
\(\square\)
3. Limits with units: distinct values under correlation
Now consider sequences with units:
\[
a_n u \in \mathbb{R}u,\qquad b_n u^2 \in \mathbb{R}u^2.
\]
Suppose the numeric parts \(a_n, b_n\) are correlated, for example
\[
b_n = f(a_n)
\]
for some function \(f\), and both sequences have limits:
\[
\lim_{n\to\infty} a_n = A,\qquad \lim_{n\to\infty} b_n = B.
\]
Theorem 1 (Unit‑separated limits are distinct)
Even if the numeric limits satisfy a relation \(B = f(A)\), the limits
\(\lim a_n u\) and \(\lim b_n u^2\) are distinct elements of different unit spaces and
cannot be equal as quantities.
Proof.
The limit \(\lim a_n u\) is an element of the 1‑dimensional quantity space
\(\mathbb{R}u\). The limit \(\lim b_n u^2\) is an element of the 2‑dimensional quantity
space \(\mathbb{R}u^2\).
There is no unit‑preserving isomorphism between \(\mathbb{R}u\) and \(\mathbb{R}u^2\):
any map identifying \(Au\) with \(Bu^2\) would have to send a length to an area, which
contradicts dimensional analysis. Therefore, even if \(B = f(A)\) numerically, the
quantities \(Au\) and \(Bu^2\) are distinct and incomparable as elements of a single
ordered field.
Hence the limits remain distinct values in their respective unit spaces. \(\square\)
3.1. Infinity symmetries of correlations
Suppose further that the correlation between \(a_n\) and \(b_n\) has a symmetry at infinity,
e.g.
\[
\lim_{n\to\infty} \frac{b_n}{a_n^2} = C
\]
for some constant \(C\). This expresses a stable relationship between the growth rates
of the sequences.
Proposition 3 (Symmetric correlations still preserve dimensional distinction)
Even when the correlation between \(a_n\) and \(b_n\) has a well‑defined symmetry at
infinity, the limits \(\lim a_n u\) and \(\lim b_n u^2\) remain distinct quantities with
different dimensional values.
Proof.
The ratio
\[
\frac{b_n}{a_n^2}
\]
is dimensionless if \(b_n u^2\) scales like \((a_n u)^2\). Its limit \(C\) describes a
stable proportionality between the numeric parts of the sequences.
However, the quantities themselves live in different spaces:
\[
a_n u \in \mathbb{R}u,\qquad b_n u^2 \in \mathbb{R}u^2.
\]
The symmetry at infinity constrains how fast one grows relative to the other, but does not
collapse the dimensional distinction between length and area.
Therefore, even under such symmetric correlations, the limits are distinct numbers in
Laegna’s sense: they occupy different dimensional layers of the quantity hierarchy.
\(\square\)
4. Summary: why limits and infinities stay distinct
(1) Infinities \(\inf^k u^k\) of different dimensional orders are
qualitatively distinct: they live in different unit spaces and induce different orderings,
even when their underlying point sets have equal cardinality.
(2) Square and cube units (\(u^2, u^3\)) introduce new orderings via
projections like \(\pi(x,y) = x + y\), which collapse higher‑dimensional structure into
lines but do not reproduce the original 1D order.
(3) Limits of sequences with different units (e.g. \(a_n u\) vs.
\(b_n u^2\)) remain distinct quantities, even when their numeric parts are correlated and
share symmetries at infinity. Dimensional analysis prevents their identification.
In Laegna, this dimensional separation is not a technicality but a core feature: it is what
allows infinities and limits to be compared via multipliers without collapsing them into a
single undifferentiated “infinite” object.
Laegna dimensional arithmetic
Scale, Infinity, and Order as a Basis for Intuitive Proofs
In Laegna, numbers are not just points on a fixed line. Each value has a visible linear
projection and a hidden dimensional structure. Once you see this, arithmetic becomes geometric,
infinity becomes measurable, and many proofs become almost obvious.
1. Dimensional digits: numbers with hidden structure
In Laegna, a “digit” is not a single scalar but a small 2‑dimensional object. The simplest
version is a pair \((x, y)\) with
\(x \in [0,1],\; y \in [0,1]\).
This pair lives in a unit square filled with infinitesimal points.
Visible vs. hidden value
The visible value of the digit is the linear projection
\(s = x + y \in [0,2]\).
The hidden value is the dimensional structure: the fact that \((x, y)\)
belongs to a square whose axes each contain an uncountable infinity of points. The square
carries an “infinity of order”
\(\infty^2\),
even though its area is just \(1\text{ cm}^2\) or simply \(1\) in abstract units.
This is the first key Laegna idea: a finite segment or region can host different
densities of infinity. The visible number \(s\) is only a shadow of a richer
object: a 2‑dimensional infinitesimal substrate.
1.1. Addition vs. multiplication as projections
Consider the special point where \(x = y\). Then
\(s = x + x = 2x\).
At the same time, the “dimensional replication” of this value is
\(x \cdot x = x^2\).
The equation
\(x + x = x \cdot x\)
has a unique positive solution:
\(x = 2\).
At this point,
\(2 + 2 = 2 \times 2 = 4\).
Dimensional fixed point
The value \(2\) is a dimensional fixed point:
- Linear extension: \(2 + 2\) extends the line.
- Dimensional replication: \(2 \times 2\) replicates the dimension.
- At \(2\), these two views coincide numerically in the value \(4\).
In Laegna, \(2\) is not just “two”; it is the hinge where addition and multiplication
describe the same structural event.
2. Scale-dependent ordering: the line reorients with scale
Now imagine that every point on the line is not just a bare number, but a mixture of the four
basic compounds:
addition, subtraction,
multiplication, and division.
As you change scale, the relative dominance of these compounds changes.
This means the order of numbers is not absolute. It depends on the scale and
on which operation dominates at that scale.
2.1. A simple example of order changing with scale
Compare the expressions
\(f(a) = a + a \cdot a\)
and
\(g(a) = a + \frac{a}{a}\).
-
For small \(a\), the term \(\frac{a}{a} = 1\) can dominate the behavior of \(g(a)\),
while \(a \cdot a\) is tiny.
-
For large \(a\), the term \(a \cdot a\) dominates \(f(a)\), while \(\frac{a}{a}\) stays at 1.
As \(a\) moves across scales, the relative order of \(f(a)\) and \(g(a)\) can flip. This is a
concrete instance of your observation:
“As you change the value of \(a\), the position of
\(a + a \cdot a\) relative to \(a + a / a\) changes; therefore, the line also changes as you
scale up and down.”
2.2. Octaves of scale
Laegna organizes scale into octaves, analogous to musical octaves or Fourier
frequencies. A natural octave is defined by doubling:
- First octave: \([0, 2]\)
- Second octave: \([2, 4]\)
- Third octave: \([4, 8]\)
- and so on.
In the first octave \([0, 2]\), you can think of yourself as “filling” the 2D digit: the unit
square of \((x, y)\) values. The visible projection
\(s = x + y\)
runs from 0 to 2.
In the second octave \([2, 4]\), you are no longer just filling the square; you are
unfolding the exponent—using the dimensional multiplier to map a finite
interval into an infinite scale.
Linearizing the exponent
Conceptually, you can treat the interval \([2, 4]\) as a linear parameter over an infinite
ray \([2, \infty)\). Each point in \([2, 4]\) corresponds to a different “power” of the
dimensional multiplier, so that:
0..2: fill the square (compress \(\infty^2\) into a finite line).
2..4: unfold the exponent (map a finite line into a measurable infinity).
This is what you described as:
“2 to 4 projects each point in given precision to 2 to infinity, creating measurable
infinity scale.”
3. The center line: where order is invariant
The line has a special “center of order” where
\(x = y\)
and
\(2 + 2 = 2 \times 2\).
At this point, whichever of the four basic operations you use to build the value \(4\), the
relative order of nearby numbers does not change.
This gives a geometric meaning to your statement:
“The center line of order is where \(x = y\), where \(2 + 2 = 2 \times 2\) – whichever
operations of 4 you do, you won’t change order.”
3.1. Symmetry of 0..2 and 2..4
Around this center, the intervals \([0, 2]\) and \([2, 4]\) behave like mirror images:
-
\([0, 2]\): you move from “no dimension filled” to “square fully filled”.
-
\([2, 4]\): you move from “square fully filled” to “square replicated as exponent”.
The ordering from \(4 \to 2\) mirrors the ordering from \(0 \to 2\). This is why you can say:
“From 4..2, identical order symmetry to 0..2 appears.”
3.2. Infinity, order, and density
You also observed:
“From infinity..2, the order of numbers is same. Although smaller order infinity also
continues indefinitely, and you always meet new numbers: its density is so much lower, that
it’s shorter line if measured at dense line.”
In Laegna terms:
-
There are different orders of infinity (e.g. \(\infty, \infty^2, \infty^3\)),
each with its own density.
-
When projected onto a fixed “dense” line (like the 0..2 octave), higher‑order infinities
appear as shorter segments.
-
The ordering from \(\infty \to 2\) can match the ordering from \(2 \to 0\), even though the
densities differ.
Infinity is not a single object but a family of densities. A “smaller order infinity” can be
infinitely long in its own sparse scale, yet correspond to a short segment when measured
against a denser octave.
4. Why this makes proofs intuitive
Once you accept that numbers are dimensional digits, that the line reorders itself with scale,
and that 2 is a fixed point where addition and multiplication coincide, many proofs become
geometric rather than symbolic.
4.1. Inequalities and growth
To compare two expressions, you no longer ask only “which is bigger?” in a static sense. You
ask:
- How do they behave across octaves?
- At which scales does one dominate the other?
- How does their hidden dimensional structure differ?
This makes asymptotic comparisons (like “which grows faster?”) almost visual: you see which
expression “wins” as you move through octaves of scale.
4.2. Infinity and convergence
Instead of treating infinity as a limit point, you treat it as a density field.
A series converges or diverges depending on how its contributions distribute across octaves and
how dense its tail is when projected onto a chosen line.
This aligns with your idea of a “Fourier scale of infinities”: each octave is like a frequency
band, and convergence is about how much “energy” remains in higher bands.
5. Compressed summary of the core Laegna picture
Three key ideas
1. Dimensional digits. Numbers are projections of higher‑dimensional
infinitesimal structures. A value like \(s = x + y\) hides a full square of points and an
\(\infty^2\) substrate.
2. Scale‑dependent ordering. The number line reorients itself at each
octave. The relative order of expressions like \(a + a \cdot a\) and
\(a + a / a\) changes with scale.
3. Dimensional fixed point at 2. The value \(2\) is where
\(x + x = x \cdot x\). It is the hinge between filling a dimension and replicating it, and
it anchors the symmetry of 0..2, 2..4, and the infinite tail beyond.
These three ideas are enough to start doing Laegna‑style reasoning: proofs that move by
following dimension, scale, and order, rather than by pushing symbols around blindly.
Dimensional Arithmetic in Laegna:
A Scale‑Dependent Foundation for Order, Infinity, and Proof
Abstract.
This paper introduces the Laegna framework for dimensional arithmetic, where numbers are not atomic points but projections of higher‑dimensional infinitesimal structures. We show how scale determines ordering, how addition and multiplication coincide at a dimensional fixed point, and how infinity becomes measurable through octave‑based projection. These principles yield intuitive geometric proofs for inequalities, growth, and convergence.
1. Dimensional Digits and Their Projections
A Laegna digit is a pair \((x, y)\) with \(x, y \in [0,1]\), representing a point in a unit square.
The visible number is the linear projection
\[
s = x + y \in [0,2],
\]
while the hidden structure is the infinitesimal substrate of the square, carrying an uncountable infinity of order \(\infty^2\).
Definition 1 (Dimensional Digit)
A
dimensional digit is a pair \((x,y)\) with visible projection
\[
\pi_1(x,y) = x + y,
\]
and hidden dimensional multiplier
\[
\pi_2(x,y) = x \cdot y.
\]
Thus every number in \([0,2]\) is the shadow of a 2‑dimensional infinitesimal continuum.
1.1. Addition and Multiplication as Projections
When \(x = y\), the visible and hidden projections satisfy
\[
x + x = x \cdot x.
\]
The unique positive solution is \(x = 2\), giving the identity
\[
2 + 2 = 2 \cdot 2 = 4.
\]
Proposition 1 (Dimensional Fixed Point)
The value \(2\) is the unique point where linear extension and dimensional replication coincide.
2. Scale‑Dependent Ordering of Arithmetic
The number line is not fixed. Each value is a mixture of the four basic compounds
\[
+, \quad -, \quad \cdot, \quad /,
\]
and the dominance of these compounds changes with scale.
Thus the order of numbers depends on scale.
\[
f(a) = a + a^2, \qquad g(a) = a + \frac{a}{a}.
\]
For small \(a\), \(g(a)\) dominates; for large \(a\), \(f(a)\) dominates.
Their ordering reverses as scale changes.
This motivates the octave structure of Laegna arithmetic.
2.1. Octaves of Scale
Scaling by a factor of 2 produces natural arithmetic octaves:
\[
[0,2],\quad [2,4],\quad [4,8],\quad \dots
\]
- \([0,2]\): filling the 2D digit (compressing \(\infty^2\) into a finite line)
- \([2,4]\): unfolding the exponent (mapping finite line into measurable infinity)
Theorem 1 (Exponent Linearization)
The interval \([2,4]\) is linearly isomorphic to a measurable infinite ray \([2,\infty)\) under the dimensional multiplier.
Each point \(t \in [2,4]\) corresponds to a unique exponentiated scale.
3. Symmetry Around the Dimensional Center
The intervals \([0,2]\) and \([2,4]\) are mirror projections of the same dimensional structure.
The ordering from \(4 \to 2\) mirrors the ordering from \(2 \to 0\).
\[
2 + 2 = 2 \cdot 2
\quad\Longrightarrow\quad
\text{addition and multiplication preserve order at the center.}
\]
This explains why the number line “reorients” itself at each octave.
3.1. Infinity as Density
Laegna distinguishes infinities by density.
A higher‑dimensional infinity (e.g. \(\infty^3\)) is less dense when projected onto a lower‑dimensional line.
Proposition 2 (Density Compression)
When projected onto a dense octave such as \([0,2]\), higher‑order infinities correspond to shorter measurable segments.
4. Consequences for Proof and Reasoning
Because arithmetic is dimensional and scale‑dependent, many classical proofs become geometric.
4.1. Inequalities
To compare expressions, one examines their behavior across octaves:
\[
f(a) \prec g(a) \quad\text{in octave } n
\]
rather than globally.
This makes monotonicity and dominance visually intuitive.
4.2. Convergence
A series converges if its contributions decay in density across octaves.
This reframes convergence as a geometric thinning of dimensional mass.
Summary.
Laegna arithmetic rests on three principles:
- Numbers are dimensional digits with visible and hidden projections.
- The number line reorders itself with scale through octave structure.
- The value \(2\) is the dimensional fixed point where addition and multiplication coincide.
These principles make proofs intuitive by grounding them in geometry, density, and dimensional symmetry.