An Angular Reformulation of the Kronecker Delta through a Jeno-Type Structural Nullity
—Gram-Schmidt Orthogonalization and a Sliding-Ladder Application ()
1. Introduction and Scope
Throughout this work,
denotes a finite-dimensional real inner-product space. Unless explicitly stated otherwise, every vector entering the angular construction is normalized. These assumptions are essential. In a complex inner-product space, the inner product is generally complex and cannot be represented solely by a real angle, whereas for non-normalized vectors, the standard norm factors must be retained.
For an orthonormal basis
,
(1)
The off-diagonal zero summarizes two logically distinct statements: the indices differ, and the corresponding vectors are orthogonal. The purpose of the present notation is to keep these mechanisms separate.
Although the Kronecker delta and the Gram matrix already provide a complete mathematical description of orthogonality, they encode index identity and metric coupling in a compact form. The present decomposition does not replace either object. Instead, it separates their logical roles, allowing the geometric source of an off-diagonal contribution to remain explicit in calculations where orthogonality is created, tested, or lost.
The Kronecker delta encodes index identity and orthonormality in linear algebra and tensor notation [1] [2]. For a general basis, inner products are collected in the Gram matrix [3] [4]. To demonstrate utility beyond elementary examples, the manuscript develops two applications: a complete Gram-Schmidt calculation in
and a constrained-mechanics analysis of a homogeneous ladder sliding without friction. The latter distinguishes a purely kinematic divergence from the physically admissible motion governed by unilateral contact.
2. Complementary Off-Diagonal Selector
Definition 2.1 (Off-diagonal selector). Define
(2)
Thus,
for
and
for
.
The quantity
is not an inner product. It only selects an off-diagonal index pair, indicating where an angular coupling may occur.
3. Angular Kronecker-Jeno Quantity
Let
and
be unit vectors, and let
denote their angle.
Definition 3.1 (Angular Kronecker-Jeno quantity).
(3)
Equivalently,
and
for
.
Proposition 3.2 (Recovery of the classical Kronecker delta). If
is orthonormal, then
.
Proof. For
, the definition gives
. For
, orthogonality gives
, and therefore
. □
4. Structural Nullity
Theorem 4.1 (Structural nullity). Let
and let
be unit vectors satisfying
. Then
(4)
Numerically,
.
Proof. Because
, one has
. Orthogonality implies
, that the angular factor vanishes. The symbol
records the mechanism by which the ordinary numerical zero was obtained. □
Remark 4.2. The distinction is semantic and structural, not arithmetic. Standard algebra continues to use the ordinary real number zero. The label
carries bookkeeping information only.
5. Relation to the Gram Matrix and Metric Tensor
For
(5)
the inner product is
(6)
For normalized vectors,
and
, so
(7)
Thus, symmetry, positive semidefiniteness, rank, and basis dependence are inherited directly from the Gram matrix.
Define the sign-independent angular-nullity matrix by
(8)
Unlike
, this quantity is invariant under reversal of either vector and reaches its maximum precisely at orthogonality.
6. Restriction to Normalized Real Vectors
For arbitrary nonzero vectors,
(9)
Consequently, the angular definition does not reproduce the full Gram matrix unless
for every
. Restoring the norm factors gives the standard inner product. In particular, for
,
(10)
The proposal, therefore, does not replace the ordinary inner product. In complex spaces, a real angle alone also loses phase information; a direct extension would require a phase-sensitive construction and lies outside the present scope.
7. Gram-Schmidt Orthogonalization
The Gram-Schmidt process and its numerically stable variants are standard tools in matrix computation and numerical linear algebra [5] [6]. Let
be linearly independent. Gram-Schmidt constructs
(11)
(12)
where
(13)
If
, then
(14)
Thus, the coefficient removed at each step is exactly the off-diagonal angular coupling with a previously normalized direction.
For a normalized ordered family
, define
(15)
Proposition 7.1. For normalized vectors,
(16)
and
if and only if the family is pairwise orthogonal.
Proof. Every term belongs to
. The upper bound is reached exactly when
for every pair
. □
Remark 7.2 (Interpretation). Gram-Schmidt may be interpreted as a sequential elimination of the off-diagonal Gram couplings associated with the already constructed orthonormal directions. The final orthonormal family has a Gram matrix
and maximizes
. The functional is not claimed to be monotone for every possible intermediate normalization convention; rather, it provides a global diagnostic of pairwise orthogonality for each normalized family being compared.
Complete Example in
Take
(17)
Then
(18)
(19)
(20)
Direct calculation gives
(21)
After normalization, the vectors
satisfy
.
The geometric interpretation of one Gram-Schmidt projection step is illustrated in Figure 1.
Figure 1. Technical interpretation of one Gram-Schmidt step. The projection carries the angular coupling with the previously normalized direction, while the residual is orthogonal to it.
8. Physical Application: Frictionless Sliding Ladder
The frictionless sliding-ladder problem is a classic example of constrained rigid-body mechanics. The derivation below follows the conventional Newtonian and energy formulations described in standard mechanics texts [7]-[9], and then interprets the relevant geometric factors through the angular decomposition.
Consider a homogeneous rigid ladder of length
and mass
, with its lower endpoint on a frictionless horizontal floor and its upper endpoint on a frictionless vertical wall. Let
be the angle measured from the floor. While both contacts are maintained,
(22)
8.1. Angular Structure and the Geometric Constraint
Let
be Cartesian unit vectors and let
(23)
be the unit vector along the ladder. Then
(24)
The Gram matrix of
is
(25)
The zero determinant records that
is not an independent third direction in the plane. Equivalently,
,
, and
must not be treated as three independent generalized coordinates.
The mechanical configuration during the two-contact phase is shown in Figure 2.
Figure 2. Homogeneous ladder in the two-contact phase. The wall force
must remain nonnegative because the wall can push but cannot pull.
8.2. Kinematic Singularity
Differentiating the geometric constraint gives
(26)
Using the angular quantities,
(27)
If one imposes
all the way to
, then
and
. This divergence is not a physical prediction. It signals that constant lower-end speed, permanent two-point contact, perfect rigidity, and continuation to
are mutually incompatible assumptions.
8.3. Energy and Angular Acceleration
The center of mass is
(28)
With
, the kinetic and potential energies are
(29)
Released from rest at
, conservation of energy gives
(30)
and differentiation yields
(31)
8.4. Wall Reaction and Loss of Contact
The horizontal coordinate of the center of mass is
, hence
(32)
Substituting the preceding energy relations gives
(33)
A frictionless wall can exert only a nonnegative normal force. Therefore, contact is lost at the first instant for which
. Before the horizontal position is reached,
, so
(34)
Equivalently,
(35)
For release from the vertical,
, and therefore
(36)
For smaller angles, the two-contact formula would predict
, that the wall would require the ladder to pull. The constrained model must therefore terminate at
and be replaced by the subsequent one-contact dynamics.
The normalized wall reaction for release from the vertical is displayed in Figure 3.
Figure 3. Normalized wall reaction for release from the vertical. The two-contact solution is physically admissible only while
. The zero at
marks loss of wall contact.
Figure 4 shows the evolution of the horizontal and vertical angular couplings together with the loss-of-contact threshold.
Figure 4. Evolution of the vertical and horizontal angular couplings. The marked value is the loss-of-contact threshold for release from the vertical.
9. Comparison with the Standard Formulation
Table 1 summarizes the interpretive role of the proposed decomposition. The right-hand column does not add new dynamics or algebra; it makes explicit which geometric factor is active in each standard calculation.
Table 1. Classical objects and their angular interpretation.
Standard Formulation |
Angular Kronecker-Jeno Interpretation |
Kronecker delta
|
Index identity is separated from possible off-diagonal angular coupling. |
Gram coefficient
|
For normalized real vectors,
. |
Orthogonality
|
The off-diagonal selector is active, while the angular coupling vanishes:
. |
Gram-Schmidt projection coefficient |
The removed coefficient is proportional to
. |
Ladder kinematic singularity |
The divergence arises from division by the vanishing vertical coupling
. |
Loss of wall contact |
The physical boundary is imposed separately by the unilateral condition
. |
10. Discussion
The Gram-Schmidt application shows that the notation can track which off-diagonal coupling is removed at each projection step. This is mathematically equivalent to standard orthogonalization, but it preserves the angular meaning of the projection coefficient. The functional
provides a sign-independent scalar diagnostic of pairwise orthogonality for normalized families.
The ladder application goes further by separating two issues that are often conflated. First, the kinematic relation
contains a denominator that vanishes when the ladder approaches the horizontal configuration. Second, the freely released ladder does not remain in two-point contact until that configuration. The unilateral contact condition forces the two-contact model to terminate earlier, at
. The angular decomposition identifies the geometric factor that vanishes, whereas the contact inequality determines the physically admissible interval.
The condition
is not encoded by
itself. It remains a mechanical contact condition. Accordingly, the usefulness of the angular decomposition is diagnostic and interpretive rather than dynamical. The present results do not establish a new tensor, scalar product, or force law. They show that a standard Gram entry can be decomposed into index selection and angular coupling, and that this bookkeeping can clarify both orthogonalization and constrained mechanics.
The framework remains restricted to normalized real vectors unless the usual norm factors are restored. In complex inner-product spaces, phase information cannot be represented by a single real angle. These limitations are not technical afterthoughts; they define the domain in which the proposed notation is mathematically equivalent to familiar objects.
11. Conclusions
The angular quantity
(37)
recovers the classical Kronecker delta in an orthonormal basis and coincides with the Gram matrix in a normalized real basis. Its role is interpretive: it separates index identity from the angular mechanism responsible for an off-diagonal metric contribution.
Two concrete uses were demonstrated. In Gram-Schmidt orthogonalization, off-diagonal Gram couplings are sequentially removed until the Gram matrix becomes the identity, while
reaches its maximum value. In the sliding-ladder problem, the apparent infinite endpoint speed follows from division by the vanishing vertical coupling
under an incompatible constant-speed constraint. In the physically released system, the ladder loses wall contact earlier, at
; for release from the vertical,
.
Thus, the decomposition does not replace classical linear algebra or mechanics. It makes explicit which angular factor vanishes and where a constrained model ceases to be physically admissible. Future work may examine whether the same bookkeeping is useful in constrained dynamics, numerical orthogonalization, finite-element formulations, and tensor calculations in which orthogonality evolves during computation.
Appendix: Equivalence with the Normalized Gram Matrix
Let
be a normalized family in a finite-dimensional real inner-product space. Its Gram matrix is
, where
(38)
For
, normalization gives
. For
, the real inner-product identity gives
. Hence
(39)
Therefore,
and
are identical matrices under the stated assumptions. Every algebraic property used in this manuscript is consequently inherited from the Gram matrix rather than postulated independently.