Fact-checked by Grok 2 weeks ago

Dimension

In mathematics, the dimension of a space or object is intuitively the number of independent directions in which one can move within it, or equivalently, the minimal number of real numbers (coordinates) required to specify any point inside it.^[1] For familiar Euclidean examples, a point has dimension 0, a line or curve has dimension 1, a plane or surface has dimension 2, and ordinary three-dimensional space has dimension 3.^[1] These notions extend across various mathematical fields, where dimension serves as a fundamental invariant characterizing the "size" or complexity of structures in geometry, algebra, topology, and beyond.^[2] In linear algebra, the dimension of a vector space V over a field (such as the real numbers) is defined as the number of vectors in any basis for V, where a basis is a linearly independent set that spans V.^[2]^[3] This ensures that all bases have the same cardinality, making dimension a well-defined property; for instance, the standard Euclidean space \mathbb{R}^n has dimension n.^[2] In geometry, particularly for subspaces defined by equations, adding a linear equation typically reduces the dimension by 1, while inequalities preserve it, though degenerate cases can lead to lower dimensions.^[1] In topology, the topological dimension of a space X—also known as the Lebesgue covering dimension—is the smallest integer m such that every open cover of X admits a refinement where no point lies in more than m+1 sets.^[4] An inductive equivalent defines dimension 0 for spaces where points have arbitrarily small neighborhoods with empty boundaries, and higher dimensions recursively based on boundary dimensions being at most one less.^[4] This measure coincides with intuitive dimensions for Euclidean spaces but yields 0 for fractals like the rationals in \mathbb{R}, highlighting its focus on large-scale structure rather than fine detail.^[4] In algebraic geometry, the dimension of an algebraic variety or scheme is often the Krull dimension of its coordinate ring, which is the supremum of lengths of chains of prime ideals.^[5] For affine varieties over algebraically closed fields, this equals the transcendence degree of the function field over the base field, aligning with geometric intuition: curves are 1-dimensional, surfaces 2-dimensional, and so on.^[6] Beyond pure mathematics, in physics, spatial dimensions describe the three observable directions (length, width, height) of our universe, with time adding a fourth in relativistic spacetime models.^[7] Dimensional analysis further uses base dimensions like mass [M], length [L], and time [T] to ensure equation consistency and derive scaling relations.^[8]

In Mathematics

Dimensions of Vector Spaces

In linear algebra, the dimension of a vector space V over a field F is defined as the cardinality of any basis for V.^[9] A basis is a linearly independent set that spans V, meaning every vector in V can be uniquely expressed as a finite linear combination of basis elements with coefficients in F.^[9] For finite-dimensional spaces, this cardinality is a non-negative integer, with the zero vector space having dimension 0.^[10] In the infinite-dimensional case, the dimension is an infinite cardinal number, and a basis is known as a Hamel basis, which exists for every vector space but is generally non-constructive, relying on the axiom of choice via Zorn's lemma.^[11] A key property is the dimension theorem, also called Grassmann's relation, which states that for subspaces U and W of a finite-dimensional vector space V, the dimension satisfies

\dim(U + W) = \dim U + \dim W - \dim(U \cap W),

where U + W = \{u + w \mid u \in U, w \in W\} is the sum of the subspaces.^[12] This formula quantifies how subspaces combine and overlap, providing a tool to compute dimensions without explicitly finding bases.^[12] For instance, the standard Euclidean space \mathbb{R}^n over \mathbb{R} has dimension n, with the standard basis \{e_1, \dots, e_n\} where e_i has a 1 in the i-th position and 0 elsewhere.^[9] The space of all polynomials over a field F, denoted F, is an example of a countably infinite-dimensional vector space, with basis \{1, x, x^2, x^3, \dots\}.^[13] Any polynomial p(x) = a_0 + a_1 x + \dots + a_k x^k is a finite linear combination of these basis elements.^[13] The dimension is an invariant under linear isomorphisms: if two vector spaces over the same field are isomorphic, they have the same dimension.^[14] This follows from the fact that an isomorphism maps bases to bases bijectively, preserving linear independence and spanning properties.^[14] Thus, all finite-dimensional vector spaces of dimension n over F are isomorphic to F^n.^[14]

Dimensions in Topology

In topology, dimension is defined as a topological invariant that quantifies the "local complexity" or "size" of a space using covering and separation properties, without relying on linear structures like bases in vector spaces.^[15] This approach distinguishes it from algebraic or metric notions, focusing instead on open covers and boundaries to assign non-negative integer values to spaces, capturing their intuitive dimensionality in a homeomorphism-invariant manner. The Lebesgue covering dimension, also known as the topological covering dimension, provides one fundamental measure. For a topological space X, it is the smallest non-negative integer n (or \infty if no such n exists) such that every finite open cover of X admits an open refinement where no point lies in more than n+1 sets; the order of a cover is defined as the largest integer m such that some point belongs to at least m+1 sets.^[16] This definition ensures that spaces of dimension at most n can be "separated" by covers mimicking the behavior of Euclidean n-space. Another key notion is the inductive dimension, which comes in small and large variants. The small inductive dimension \operatorname{ind}(X) is defined recursively: \operatorname{ind}(X) = -1 if X is empty, and \operatorname{ind}(X) \leq n otherwise if every point of X has arbitrarily small neighborhoods whose boundaries have inductive dimension at most n-1; the large inductive dimension \operatorname{Ind}(X) uses a similar recursion but requires that every open cover has a refinement where the boundaries of the sets have dimension at most n-1. For separable metric spaces, the Lebesgue covering dimension coincides with both inductive dimensions.^[17] Examples illustrate these concepts clearly. The Euclidean space \mathbb{R}^n has covering dimension n, as its open covers can be refined to avoid excessive overlaps in a way that matches the n-dimensional structure, but not lower.^[15] In contrast, the Cantor set, a compact totally disconnected subset of \mathbb{R}, has covering dimension 0, since it admits bases of clopen sets, allowing refinements where sets are disjoint.^[18] These dimensions exhibit desirable properties, including invariance under homeomorphisms: if X and Y are homeomorphic, then \dim X = \dim Y for any of these notions. Additionally, they satisfy monotonicity under continuous maps: for a continuous function f: X \to Y, the dimension of the image f(X) is at most that of X.^[17] The development of these ideas traces back to early 20th-century efforts to axiomatize dimension rigorously. Henri Lebesgue introduced the covering dimension in 1911 as part of his work on representing sets via analytic functions and covers.^[19] Independently, in the 1920s, Karl Menger and Pavel Urysohn defined the small inductive dimension around 1921–1922, while Urysohn and Stefan Mazurkiewicz later formalized the large inductive dimension in 1926–1927, resolving key questions about equivalence and applicability to metric spaces.^[20]

Dimensions of Manifolds

In differential geometry and topology, the dimension of a manifold is defined locally through its structure as a space that resembles Euclidean space in sufficiently small neighborhoods. Specifically, an n-dimensional topological manifold is a Hausdorff, second-countable topological space M that is locally homeomorphic to the n-dimensional Euclidean space \mathbb{R}^n, meaning every point in M has a neighborhood homeomorphic to an open subset of \mathbb{R}^n.^[21] This local Euclidean property ensures that the dimension n is well-defined and unique for nonempty manifolds, as it is invariant under homeomorphisms and determined by the topology near each point.^[22] To formalize this structure, a manifold is equipped with an atlas, which is a collection of charts \{(U_\alpha, \phi_\alpha)\} covering M, where each U_\alpha is an open subset of M and \phi_\alpha: U_\alpha \to \mathbb{R}^n is a homeomorphism onto an open set in \mathbb{R}^n. The charts must be compatible: on overlaps U_\alpha \cap U_\beta, the transition maps \phi_\beta \circ \phi_\alpha^{-1}: \phi_\alpha(U_\alpha \cap U_\beta) \to \phi_\beta(U_\alpha \cap U_\beta) are homeomorphisms, ensuring a consistent notion of dimension n across the entire space.^[23] For smooth manifolds, these transition maps are required to be diffeomorphisms (smooth with smooth inverses), which imposes a differentiable structure while preserving the local dimension.^[24] The dimension n also manifests in the tangent spaces of smooth manifolds. At each point p in an n-dimensional smooth manifold M, the tangent space T_p M—which serves as the best linear approximation to M near p—is an n-dimensional real vector space isomorphic to \mathbb{R}^n.^[25] This equality of dimensions underscores the manifold's local flatness, with the tangent space providing a vector space model for infinitesimal directions at p. Classic examples illustrate these concepts. The n-sphere S^n = \{ x \in \mathbb{R}^{n+1} : \|x\| = 1 \} is an n-dimensional manifold, as it can be covered by charts excluding one coordinate axis, with transition maps yielding the required homeomorphisms to open sets in \mathbb{R}^n.^[26] Similarly, the 2-dimensional torus T^2 = S^1 \times S^1 is a compact surface of dimension 2, locally resembling \mathbb{R}^2 via angular coordinates on each circle factor. In the context of complex manifolds, which carry a compatible complex structure, a manifold of complex dimension m is equivalently a real manifold of dimension 2m, since the local model is \mathbb{C}^m \cong \mathbb{R}^{2m}.^[27] This doubling arises from treating complex coordinates as pairs of real ones, with holomorphic transition maps ensuring the structure. A key global result relating manifold dimension to Euclidean embeddings is the Whitney embedding theorem, which asserts that any smooth n-dimensional manifold (Hausdorff and second-countable) admits a smooth embedding into \mathbb{R}^{2n}, realizing the manifold as a submanifold of Euclidean space without self-intersections.^[28] This theorem, originally proved by Hassler Whitney, highlights how the local dimension constrains the minimal embedding space required.^[29]

Dimensions of Algebraic Varieties

In algebraic geometry, the dimension of an affine variety V \subset \mathbb{A}^n_k over a field k is defined as the Krull dimension of its coordinate ring k[V] = k[x_1, \dots, x_n]/I(V), where I(V) is the ideal of V.^[30] This Krull dimension equals the transcendence degree of the function field k(V) over k. Geometrically, it is the length of the longest chain of irreducible closed subvarieties V = V_0 \supsetneq V_1 \supsetneq \dots \supsetneq V_d, where d is the dimension.^[31] For example, the affine space \mathbb{A}^n_k has dimension n, as its coordinate ring is a polynomial ring in n variables, which has Krull dimension n.^[30] A hypersurface in \mathbb{A}^n_k, defined by a single irreducible polynomial, has dimension n-1, since its coordinate ring is a hypersurface ring with Krull dimension n-1.^[32] Projective varieties are defined as closed subvarieties of projective space \mathbb{P}^n_k, corresponding to homogeneous radical ideals in the homogeneous coordinate ring k[x_0, \dots, x_n].^[33] The dimension of a projective variety X \subset \mathbb{P}^n_k is the Krull dimension of the homogeneous coordinate ring of X minus one, or equivalently, the dimension of the affine cone over X minus one. The Noether normalization lemma states that for an affine variety V of dimension d over an infinite field k, there exists a finite surjective morphism V \to \mathbb{A}^d_k, making V birationally equivalent to affine d-space in the sense of integral extensions of rings.^[32] This provides a geometric interpretation of the dimension as the minimal number of coordinates needed for such a finite projection. For projective varieties, the dimension relates to the Hilbert polynomial of the homogeneous coordinate ring S(X), which is a polynomial P(m) such that P(m) equals the dimension of the degree-m part of S(X) for large m.^[34] The degree of this Hilbert polynomial equals the dimension of X.^[35] For instance, the projective space \mathbb{P}^n_k has Hilbert polynomial \binom{m+n}{n}, of degree n.^[36]

Krull Dimension

In commutative algebra, the Krull dimension of a commutative ring R, named after the mathematician Wolfgang Krull, is defined as the supremum of the lengths of all chains of strictly ascending prime ideals \mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_d in R, where the length of such a chain is d.^[5]^[37] This measure captures the "size" of the ring in terms of its prime ideal structure, generalizing the classical notion of height (the length of the longest chain descending to a given prime ideal) from integral domains to arbitrary commutative rings.^[5] Krull introduced this concept in 1928 to extend results like the principal ideal theorem to Noetherian rings, providing an abstract algebraic analogue to geometric dimension.^[37] For example, the polynomial ring k[x_1, \dots, x_n] over a field k has Krull dimension n, corresponding to chains of primes generated by subsets of the variables.^[5] In contrast, Dedekind domains, such as the ring of integers of a number field, have Krull dimension 1, as their prime ideals are either zero or maximal.^[5] Key properties include the fact that the Krull dimension of a quotient ring R/\mathfrak{I} is at most that of R, and more precisely, \dim R = \sup \{\dim R/\mathfrak{p} \mid \mathfrak{p} \text{ minimal prime of } R\}.^[5] Krull's going-up theorem states that for an integral extension of rings R \subseteq S, any chain of primes in R can be lifted to a chain of the same length in S.^[38] For integral domains, the dimension satisfies \dim R = 1 + \max \{\dim R/(x) \mid x \in R \setminus \{0\} \text{ a nonzerodivisor}\}.^[5] The notion extends to modules: the Krull dimension of an R-module M is defined as \sup \{\dim R/\mathfrak{p} \mid \mathfrak{p} \in \operatorname{Supp} M\}, where \operatorname{Supp} M = \{\mathfrak{p} \in \operatorname{Spec} R \mid M_\mathfrak{p} \neq 0\} is the support of M.^[5] This allows dimension theory to apply beyond rings, such as in the study of projective modules or coherent sheaves.

Hausdorff Dimension

The Hausdorff dimension provides a way to assign a non-integer "size" to subsets of metric spaces, particularly those that are irregular or fractal-like, extending beyond classical integer dimensions. It is defined for a set E in a metric space as \dim_H E = \inf\{s > 0 : H^s(E) = 0\}, where H^s(E) is the s-dimensional Hausdorff measure given by H^s(E) = \lim_{\delta \to 0} \inf\left\{\sum_{i=1}^\infty |U_i|^s : E \subset \bigcup_{i=1}^\infty U_i, \, |U_i| < \delta\right\}, with |U_i| denoting the diameter of the set U_i.^[39] This measure captures how efficiently E can be covered by sets of small diameter, with the infimum over all such covers approaching zero as the scale \delta decreases.^[39] The Hausdorff dimension relates closely to the box-counting dimension, defined as \lim_{\varepsilon \to 0} \frac{\log N(\varepsilon)}{-\log \varepsilon}, where N(\varepsilon) is the minimal number of sets of diameter \varepsilon needed to cover E; for many self-similar fractals, these two dimensions coincide, providing a practical computational alternative since box-counting is often easier to estimate.^[40] For instance, the Sierpinski triangle, constructed by iteratively removing central triangles from an equilateral triangle, has Hausdorff dimension \log 3 / \log 2 \approx 1.585, reflecting its self-similar structure with three copies scaled by $1/2.^[39] Similarly, the path of a two-dimensional Brownian motion, a continuous but highly irregular random curve, has Hausdorff dimension 2 almost surely, indicating it is space-filling in a measure-theoretic sense despite having zero area.^[41] Key properties of the Hausdorff dimension include monotonicity—if E \subset F, then \dim_H E \leq \dim_H F—and invariance under bi-Lipschitz maps, meaning \dim_H f(E) = \dim_H E for any bi-Lipschitz function f, which preserves distances up to bounded distortion.^[39]^[42] These ensure the dimension is a robust geometric invariant suitable for abstract sets. In applications to irregular sets, such as fractals without smooth structure, the Hausdorff dimension quantifies complexity; for self-similar fractals satisfying the open set condition, Moran's equation gives \sum_{i=1}^m r_i^s = 1, where r_i are the contraction ratios of the m similarity maps, solving for the dimension s = \dim_H E.^[43]^[44]

Dimensions of Hilbert Spaces

In Hilbert spaces, the concept of dimension extends the algebraic notion from finite-dimensional vector spaces to infinite-dimensional settings, where it is defined via the cardinality of an orthonormal basis rather than a Hamel basis, due to the completeness and inner product structure.^[45] An orthonormal basis in a Hilbert space H is a maximal orthonormal set \{e_i\}_{i \in I} such that every element x \in H can be expressed as x = \sum_{i \in I} \langle x, e_i \rangle e_i, with the series converging in the norm topology.^[46] The dimension of H, denoted \dim H, is the cardinality of this index set I, which can be finite, countably infinite, or uncountable.^[45] A Hilbert space is separable if it admits a countable dense subset, and in this case, it possesses a countable orthonormal basis, making \dim H = \aleph_0.^[46] For example, the space L^2[0,1] of square-integrable functions on the interval [0,1] is separable and has a countable orthonormal basis given by the Fourier series exponentials \{ e^{2\pi i n t} \}_{n \in \mathbb{Z}}, confirming its countably infinite dimension.^[47] Similarly, in quantum mechanics, the state space of a particle in a potential well is modeled by an infinite-dimensional separable Hilbert space like L^2(\mathbb{R}), where observables are self-adjoint operators and states are unit vectors in this countable-dimensional framework.^[48] The Riesz representation theorem underscores the preservation of dimension in Hilbert spaces by establishing that the continuous dual space H^* is isometrically isomorphic to H itself via the inner product, \phi_y(x) = \langle x, y \rangle for unique y \in H, thus ensuring \dim H^* = \dim H.^[49] Complementing this, Parseval's identity provides a key relation for orthonormal bases: for x \in H and basis \{e_i\},

\|x\|^2 = \sum_{i \in I} |\langle x, e_i \rangle|^2,

which equates the squared norm of x to the sum of the squared absolute values of its Fourier coefficients, highlighting the basis's completeness and the space's structure.^[50]

In Physics

Spatial Dimensions

In classical physics, the three spatial dimensions describe the extents of length, width, and height through which physical objects and phenomena extend and interact. These dimensions are mathematically formalized as Euclidean 3-space, denoted \mathbb{R}^3, which provides the ambient framework for positioning and analyzing the geometry of macroscopic objects.^[51] In this space, points are represented by ordered triples of real numbers, enabling the precise description of locations relative to a fixed origin. The standard coordinate system for \mathbb{R}^3 employs Cartesian coordinates x, y, and z, aligned along three mutually perpendicular axes. This system facilitates vector addition and scalar multiplication, treating \mathbb{R}^3 as a three-dimensional real vector space. The geometry remains invariant under rotations, governed by the special orthogonal group SO(3), which preserves distances and orientations in physical descriptions of rigid body motion.^[52] A key property is the Euclidean distance metric, where the distance d between points (x_1, y_1, z_1) and (x_2, y_2, z_2) is calculated as

d = \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2 + (z_2 - z_1)^2}.

This formula, derived from the Pythagorean theorem extended to three dimensions, underpins measurements in physics, such as particle separations or structural extents. Additionally, volumes in \mathbb{R}^3 scale with the cube of linear dimensions; for instance, scaling a cube's side length by a factor k multiplies its volume by k^3, reflecting the threefold contribution of each dimension to enclosed space./15:_Multiple_Integration/15.06:_Triple_Integrals_in_Cylindrical_Coordinates) Historically, the conceptualization of three spatial dimensions originated in ancient Greek geometry, as assumed in Euclid's Elements (circa 300 BCE), which systematically developed plane geometry in Books I–VI and extended principles to solid figures in Books XI–XIII, treating space as inherently three-dimensional without explicit proof. The 19th century saw the emergence of non-Euclidean geometries by mathematicians such as Carl Friedrich Gauss, János Bolyai, and Nikolai Lobachevsky, who independently constructed consistent geometries by relaxing Euclid's parallel postulate; these innovations highlighted the contingency of Euclidean assumptions while affirming the empirical fit of three-dimensional Euclidean space to observed physical reality.^[53]^[54] The prevalence of three spatial dimensions in our universe is often explained through anthropic arguments, positing that this dimensionality permits stable planetary orbits under gravity's inverse square law. In dimensions greater than three, the effective force law deviates, leading to spiraling trajectories rather than closed elliptical paths, as analyzed by Paul Ehrenfest in 1917; this stability is crucial for the formation of long-lived solar systems capable of supporting complex life.^[55]

The Time Dimension

In special relativity, time is conceptualized as the fourth dimension within the framework of Minkowski spacetime, a four-dimensional continuum that unifies the three spatial dimensions with a single temporal dimension to describe the structure of the universe. This approach treats events not merely as points in space at instants of time but as points in a unified spacetime, where the distinction between space and time arises from the geometry of the manifold. The time dimension is distinguished by its role in enforcing causality and the relativistic invariance of physical laws across inertial frames.^[56] Hermann Minkowski introduced this formulation in his 1908 lecture "Space and Time," proposing that the laws of physics could be expressed more elegantly by viewing space and time as components of a single entity rather than separate entities, thereby resolving apparent paradoxes in Einstein's 1905 theory of special relativity. In Minkowski spacetime, the geometry is defined by the Minkowski metric, which assigns a negative sign to the time component to reflect the hyperbolic nature of the space:

ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2

Here, ds^2 represents the spacetime interval, c is the speed of light, dt is the differential time coordinate, and dx, dy, dz are the spatial differentials; intervals with ds^2 > 0 are spacelike, ds^2 < 0 are timelike, and ds^2 = 0 are null, corresponding to paths of light. This metric ensures that the speed of light remains constant in all inertial frames, with Lorentz transformations acting as the coordinate changes that preserve the metric and mix spatial and temporal coordinates—for instance, transforming (t, x, y, z) to (t', x', y', z') via boosts that couple time and space, such as t' = \gamma (t - vx/c^2) and x' = \gamma (x - vt), where \gamma = 1/\sqrt{1 - v^2/c^2}. These transformations highlight how measurements of time and space are interdependent, leading to effects like time dilation and length contraction.^[57]^[58]/17%3A_Relativistic_Mechanics/17.05%3A_Geometry_of_Space-time) A key feature of the time dimension in this framework is its manifestation through worldlines and light cones, which illustrate the causal structure of spacetime. The worldline of a particle is a one-dimensional curve in four-dimensional Minkowski spacetime tracing its positions over time, always timelike for massive particles since they cannot exceed the speed of light. Light cones, centered at any event, demarcate the boundaries of causality: the future light cone contains all events reachable from the origin event by signals traveling at or below c, the past light cone includes events that can influence the origin, and the exterior region is spacelike, inaccessible by light signals. These cones separate past and future, preventing causal paradoxes in relativistic physics./17%3A_Relativistic_Mechanics/17.05%3A_Geometry_of_Space-time) The time dimension is further distinguished by the arrow of time, which imparts a preferred direction to temporal evolution, unlike the reversible spatial dimensions. This asymmetry arises from the second law of thermodynamics, where the entropy of an isolated system tends to increase over time, as formulated by Ludwig Boltzmann in his statistical mechanics framework; the probability of entropy-decreasing processes is overwhelmingly low due to the vast number of microscopic configurations corresponding to high-entropy macrostates. In Minkowski spacetime, this thermodynamic arrow aligns with the forward progression along timelike worldlines, reinforcing the distinction between past and future light cones.

Extra Dimensions

In theoretical physics, extra dimensions refer to spatial dimensions beyond the three observed in everyday experience and the one time dimension, proposed in various models to unify fundamental forces or address discrepancies in the Standard Model and general relativity. These models typically posit a higher-dimensional spacetime where the additional dimensions are compactified—curled up into tiny, unobservable scales—to reproduce the familiar four-dimensional physics at low energies. Compactification ensures that the effects of extra dimensions manifest only at high energies or through subtle modifications to known interactions.^[59] One of the earliest proposals for extra dimensions is the Kaluza-Klein theory, introduced in the 1920s, which extends general relativity to five-dimensional spacetime. In this framework, the fifth dimension is compactified into a small circle, leading to the emergence of electromagnetism as a geometric effect from the five-dimensional metric; the four-dimensional theory then recovers both gravity and Maxwell's equations from the higher-dimensional vacuum Einstein equations. This unification inspired later developments but faced challenges with quantum effects and the need for further compactifications.^[60] String theory, a leading candidate for a quantum theory of gravity, requires 10 dimensions for superstring theories or 11 dimensions in M-theory to ensure mathematical consistency and anomaly cancellation. The extra six or seven dimensions are compactified on Calabi-Yau manifolds, complex geometric structures that preserve supersymmetry and allow for a rich landscape of possible vacua, influencing particle masses and couplings in the effective four-dimensional theory. These manifolds provide the necessary topology for the strings to vibrate in modes that correspond to known particles and forces.^[61] Braneworld models offer another approach, where our four-dimensional universe is a lower-dimensional "brane" embedded in a higher-dimensional "bulk" spacetime, with Standard Model particles confined to the brane while gravity propagates into the extra dimensions. In the Randall-Sundrum model, for instance, a warped geometry in five dimensions localizes gravity near our brane, explaining its weakness relative to other forces without requiring large flat extra dimensions. Dimension reduction occurs through moduli spaces, parameter spaces governing the size and shape of compact dimensions, which stabilize to yield effective four-dimensional physics.^[62]^[63] Experimental searches for extra dimensions focus on high-energy colliders and gravitational observations. At the Large Hadron Collider (LHC), signatures include missing transverse energy from gravitons escaping into extra dimensions or microscopic black holes in models with large extra dimensions, though no evidence has been found, setting bounds on the compactification scale above several TeV. Gravitational wave detectors like LIGO provide complementary constraints; deviations in waveform propagation or frequency-dependent speed of gravity from events like GW170817 limit extra dimension sizes to below millimeter scales for certain models.^[64]^[65]^[66] A key challenge in extra dimension models is the hierarchy problem—the vast disparity between the electroweak scale (~100 GeV) and the Planck scale (~10^19 GeV)—and why extra dimensions remain hidden. In compactified scenarios, the extra dimensions have radii on the order of the Planck length (~10^-35 m), making them undetectable at current energies; larger extra dimensions could dilute gravity's strength across the volume, addressing the hierarchy, but they are constrained by short-range gravity experiments to sizes smaller than approximately 30 micrometers for two extra dimensions (as of 2024).^[67] These models thus require fine-tuning of compactification parameters to evade observations while solving theoretical puzzles.^[59]

In Computing and Data

Dimensions in Computer Graphics

In computer graphics, 2D rendering operates on a raster grid of pixels, where each pixel represents a discrete position in a two-dimensional coordinate system, enabling straightforward manipulation of flat images and sprites without depth considerations.^[68] In contrast, 3D graphics define scenes using vertices with three-dimensional coordinates (x, y, z), which capture spatial positions in a virtual environment modeled after the three spatial dimensions.^[69] These vertices form polygons that approximate surfaces, requiring projection matrices to map the 3D geometry onto the 2D pixel grid of display screens, simulating depth through perspective or orthographic transformations.^[70] The core of 3D rendering lies in the transformation pipeline, particularly the model-view-projection (MVP) sequence, which converts vertex coordinates from local object space to world coordinates via the model matrix, then to camera-relative view space using the view matrix, and finally to normalized clip space through the projection matrix.^[71] This pipeline culminates in perspective division, reducing the projected 3D coordinates to 2D screen space for rasterization, ensuring efficient handling of visibility and occlusion in complex scenes.^[72] Key examples include ray tracing, a seminal technique introduced by Whitted in 1980 that traces rays from the camera through each pixel into 3D space to compute intersections, reflections, and shadows for photorealistic effects.^[73] Texture mapping complements this by projecting 2D images onto 3D surfaces using parametric UV coordinates, maintaining dimensional consistency between the texture's 2D domain and the surface's 3D geometry, as comprehensively surveyed by Heckbert in 1986.^[74] Higher-dimensional visualization extends these principles by projecting four-dimensional (4D) structures, such as tesseracts—four-dimensional hypercubes with 16 vertices and 32 edges—onto 3D or 2D spaces through nested perspective transformations that preserve rotational dynamics.^[75] For instance, a 4D-to-3D projection followed by a 3D-to-2D projection allows interactive animation of tesseract rotations, revealing inner structures otherwise hidden in lower dimensions. Volume rendering addresses 3D volumetric data, such as scalar fields from medical imaging, by integrating opacity and color along rays through the volume to generate 2D projections, a method pioneered by Levoy in 1988 for direct surface extraction and visualization.^[76] APIs like OpenGL facilitate these dimensional operations using 4D homogeneous coordinates (x, y, z, w), where the w component enables unified matrix representations for translations, rotations, scaling, and perspective projections, streamlining the graphics pipeline from vertex processing to fragment shading.^[77] This approach supports up to 4D transformations natively, allowing efficient rendering of projected higher-dimensional data while clipping invalid coordinates outside the view frustum.^[69]

Dimensions in Data Analysis

In data analysis, the feature space dimension refers to the number of variables or features that define each data point in a dataset, typically represented as points in an n-dimensional Euclidean space \mathbb{R}^n. For instance, image datasets like MNIST treat each 28×28 pixel grayscale image as a 784-dimensional vector, where each dimension corresponds to a pixel intensity value. This high dimensionality allows for capturing complex patterns but often complicates analysis due to computational and statistical challenges.^[78] The curse of dimensionality describes the exponential growth in volume and sparsity that occurs in high-dimensional spaces, leading to phenomena such as distance concentration—where most points become equidistant—and the need for exponentially more samples to maintain density. Coined by Richard Bellman in 1957 during his work on dynamic programming, this issue hampers machine learning tasks like classification and clustering by increasing overfitting risks and computational costs. In high dimensions, data points tend to lie near the boundary of the space, resulting in sparse sampling that undermines traditional distance-based metrics.^[79] To mitigate these effects, dimensionality reduction techniques project high-dimensional data into lower-dimensional subspaces while preserving essential structure. Principal component analysis (PCA), introduced by Karl Pearson in 1901, achieves this by identifying orthogonal directions (principal components) of maximum variance through the eigenvalues of the data's covariance matrix; the top k eigenvectors form the projection basis, reducing from n to k dimensions. For example, applying PCA to the 784-dimensional MNIST dataset can yield a 2D visualization that separates digit classes based on dominant variance in pixel patterns, such as stroke thickness and orientation. Complementing PCA's linear approach, t-distributed stochastic neighbor embedding (t-SNE), developed by Laurens van der Maaten and Geoffrey Hinton in 2008, uses non-linear mappings to preserve local neighborhoods, effectively embedding MNIST digits into 2D clusters that reveal manifold-like separations not captured by linear methods.^[80]^[81] Estimating the intrinsic dimension—the minimal dimensionality needed to represent the data's variability—provides insight into the effective complexity beyond the ambient feature space. One key metric is the correlation dimension, calculated via the Grassberger-Procaccia algorithm from 1983, which assesses how the number of pairs of points within distance r scales as C(r) \propto r^D, where D is the dimension estimated from the slope of \log C(r) versus \log r in the linear regime. This method helps quantify sparsity in high-dimensional datasets, guiding reduction techniques; for MNIST, for example, estimates using the correlation dimension yield ~10-14 for individual digit classes, while for the full dataset, values are higher (often 200-500), still far below 784, reflecting the manifold structure of handwritten digit variations.^[82]^[83]^[84]

Dimensionality Across Disciplines

Dimensions in Probability and Statistics

In probability and statistics, random variables often inhabit multidimensional spaces, such as \mathbb{R}^n, where the joint probability density function (PDF) f_{\mathbf{X}}(\mathbf{x}) specifies the likelihood of the vector \mathbf{X} = (X_1, \dots, X_n) taking a particular value \mathbf{x} \in \mathbb{R}^n. This joint PDF integrates to 1 over the entire space and allows computation of probabilities for regions in n dimensions.^[85] Marginalization reduces dimensionality by integrating the joint PDF over subsets of variables; for instance, the marginal PDF of X_1 is f_{X_1}(x_1) = \int_{\mathbb{R}^{n-1}} f_{\mathbf{X}}(x_1, x_2, \dots, x_n) \, dx_2 \cdots dx_n, yielding a one-dimensional distribution that summarizes the behavior of X_1 independently of the others.^[86] Stochastic processes extend this to time-dependent random variables, with the dimension of the state space defining the process's complexity. The state space is the set of possible values the process can take at each time, and its dimension indicates the degrees of freedom; for example, standard Brownian motion, or the Wiener process, operates in a one-dimensional state space \mathbb{R}, where paths are continuous but nowhere differentiable, modeling random walks with independent Gaussian increments.^[87] Higher-dimensional variants, like multidimensional Brownian motion in \mathbb{R}^n, feature independent components each following a one-dimensional process, enabling modeling of vector-valued evolutions such as particle diffusion in space.^[87] A key example is the multivariate normal distribution in n dimensions, which generalizes the univariate Gaussian and is parameterized by an n-dimensional mean vector \boldsymbol{\mu} and an n \times n positive semi-definite covariance matrix \boldsymbol{\Sigma}. The PDF is given by

f_{\mathbf{X}}(\mathbf{x}) = \frac{1}{(2\pi)^{n/2} \sqrt{|\boldsymbol{\Sigma}|}} \exp\left( -\frac{1}{2} (\mathbf{x} - \boldsymbol{\mu})^T \boldsymbol{\Sigma}^{-1} (\mathbf{x} - \boldsymbol{\mu}) \right),

where the covariance matrix encodes linear dependencies and variances among the components, making it central to linear models and hypothesis testing in multiple variables.^[88] In time series analysis, the embedding dimension m represents the minimal dimension needed to reconstruct a dynamical system's attractor from a scalar observation via delay coordinates, ensuring topological equivalence to the original phase space under Takens' embedding theorem, which requires m \geq 2d + 1 where d is the dimension of the attractor.^[89] The correlation dimension provides a probabilistic measure of an attractor's complexity in chaotic systems, defined as \nu = \lim_{r \to 0} \frac{\log C(r)}{\log r}, where C(r) is the correlation integral—the expected number of pairs of points within distance r under the invariant measure, estimated from time series data. Introduced by Grassberger and Procaccia, this dimension quantifies how points cluster in embedding space and is lower than the embedding dimension for fractal structures, aiding detection of determinism in noisy data.^[82] It relates briefly to the Hausdorff dimension for chaotic attractors, approximating the geometric support under uniform measures.^[90] High-dimensional sampling poses significant challenges due to the concentration of measure phenomenon, where probability distributions in \mathbb{R}^n as n \to \infty concentrate sharply around their means or medians, leading to the "curse of dimensionality" in estimation and inference. Lévy's lemma formalizes this for the unit sphere S^{n-1}, stating that for a 1-Lipschitz function f: S^{n-1} \to \mathbb{R}, \Pr\left( |f(\mathbf{x}) - \mathbb{E}[f(\mathbf{x})]| \geq \epsilon \right) \leq 2 \exp\left( -\frac{(n-1)\epsilon^2}{2} \right) for \mathbf{x} uniform on the sphere, implying rapid decay of deviations and complicating uniform sampling or integration in high dimensions.^[91]

Phenomena by Dimensionality

Phenomena associated with zero dimensions (0D) primarily involve idealized point-like entities without spatial extent. In particle physics, elementary particles such as electrons and quarks are modeled as point particles, treated as zero-dimensional objects in the Standard Model to high precision, with no observed internal structure down to scales of $10^{-22} m for electrons^[92] and $10^{-18} m for quarks.^[93] Singularities, exemplified by the Dirac delta function, represent mathematical distributions concentrated at a single point, used in physics to model impulsive forces or point sources, such as in electrostatics where the potential diverges at the origin while integrating to a finite value. One-dimensional (1D) phenomena often manifest as linear structures or propagations along a single axis. Line defects, particularly dislocations in crystalline materials, are one-dimensional imperfections where atoms are misaligned along a line, significantly influencing plasticity and strength; for instance, edge dislocations allow shear deformation in metals. Waves on a taut string illustrate 1D wave propagation, where transverse vibrations follow the one-dimensional wave equation, leading to standing waves and harmonics observable in musical instruments. The DNA double helix functions as a one-dimensional polymer chain, with its helical configuration enabling genetic information storage and replication through linear sequencing of nucleotides. Two-dimensional (2D) phenomena are characterized by planar or surface behaviors. Surfaces in geometry and physics, such as minimal surfaces, minimize area for given boundaries, as seen in catenoid shapes formed by soap films under tension, demonstrating Plateau's laws. Graphene, a single layer of carbon atoms arranged in a honeycomb lattice, exhibits exceptional 2D properties including high electron mobility and Dirac-like fermions, revolutionizing electronics since its isolation. Soap films further highlight 2D fluid dynamics, where surface tension drives film stability and rupture, modeled by 2D Navier-Stokes equations in thin-film approximations. Three-dimensional (3D) phenomena dominate everyday matter and celestial mechanics. Bulk matter, comprising solids, liquids, and gases, occupies volume in three spatial dimensions, with properties like density and elasticity arising from 3D atomic arrangements, as in isotropic crystals. Planetary orbits occur in three-dimensional space, governed by Newton's law of universal gravitation, resulting in elliptical paths confined to orbital planes within the 3D heliocentric system, as described by Kepler's laws extended to vector form. Higher-dimensional and fractal phenomena transcend integer dimensions, incorporating non-Euclidean complexities. In special relativity, spacetime events are zero-dimensional points embedded in four-dimensional Minkowski space, where worldlines trace particle histories across time and three spatial coordinates. Fractal structures like coastlines exhibit a Hausdorff dimension of approximately 1.2, reflecting self-similar irregularity at multiple scales, as quantified by Mandelbrot's fractal geometry applied to natural boundaries. Turbulence in fluid flows displays an effective fractal dimension around 2.5 for its dissipative structures, capturing the intermittent, scale-invariant nature of eddies in the inertial range. Cross-disciplinary low-dimensional quantum effects bridge physics and materials science. The two-dimensional electron gas (2DEG), confined in semiconductor heterostructures, shows quantized Hall conductance in integer steps under magnetic fields, underpinning the quantum Hall effect discovered in 1980. Such systems reveal dimensionality-dependent behaviors, like enhanced superconductivity in 2D layers compared to 3D bulks.

References

[1]
Dimension - Harvard Mathematics Department
Dimension intuitively tells how many independent directions an object can move in. Curves are 1-dimensional, surfaces 2-dimensional, solids 3-dimensional, and ...
[2]
Basis and Dimension
Let V be a subspace of R n. The number of vectors in any basis of V is called the dimension of V, and is written dim V.
[3]
[PDF] 19. Basis and Dimension - UC Davis Mathematics
A basis for a vector space is a linearly independent set that spans the space. The dimension is the number of vectors in the basis.
[4]
[PDF] notions of dimension - Cornell Mathematics
Jun 9, 2010 · The topological dimension is defined as the smallest value of m for which this statement holds. We denote it by dimT (X).
[5]
[PDF] Contents
Dimension theory assigns to each commutative ring—say, noetherian—an invariant called the dimension. The most standard definition, that of Krull dimension ...<|control11|><|separator|>
[6]
[PDF] introduction to algebraic geometry, class 14
For a prevariety X, dimX = tr.d.kk(X). A dimension 1 variety is a curve, dimension 2 is a surface, and dimension n is an n-fold.
[7]
Dimensions: Space and Time – Physics 131 - Open Books
A dimension is simply a direction in which you can move. There are three spatial dimensions that we observe in our Universe.
[8]
1.4 Dimensional Analysis – University Physics Volume 1
The dimension of any physical quantity expresses its dependence on the base quantities as a product of symbols (or powers of symbols) representing the base ...
[9]
[PDF] The dimension of a vector space - Keith Conrad
D. Definition 2.6. If V is a vector space over F and V has a finite basis then the (common) size of any basis of V is called the dimension of V (over F).
[10]
[PDF] Math 2331 – Linear Algebra - 4.5 The Dimension of a Vector Space
The dimension of the zero vector space {0} is defined to be 0. If V is not spanned by a finite set, then V is said to be infinite-dimensional. Example.
[11]
[PDF] Chapter 5. Vector Spaces, Hilbert Spaces, and the L
Mar 20, 2023 · We will show that every vector space has a Hamel basis, but the argument requires an equivalent of the Axiom of Choice called Zorn's Lemma.
[12]
[PDF] CHAPTER 4 REVIEW 1. Finite dimensional vector spaces Any finite ...
A vector space is of infinite dimension if it has a basis containing infinitely many vectors. Example 2.1. P := the set of all polynomials is an infinite ...
[13]
[PDF] Dimension of vector spaces - UGA math department
The polynomial ring F[X] as a vector space over F. If F is any field, then the polynomial ao + a1X + a2X² + .....+anxn is precisely a linear combination of ...
[14]
[PDF] Representation theory of finite groups II: Linear algebra
Jul 8, 2015 · Corollary 3.4.1. Any finite-dimensional vector space is isomorphic to Fn for some n. Proof. Just combine Proposition 3.4 and Exercise 3.3.
[15]
Dimension -- from Wolfram MathWorld
This dimension is called the Lebesgue covering dimension (also known simply as the topological dimension). The archetypal example is Euclidean -space , which ...
[16]
Lebesgue Covering Dimension -- from Wolfram MathWorld
The Lebesgue covering dimension is an important dimension and one of the first dimensions investigated. It is defined in terms of covering sets.
[17]
[PDF] Dimension theory
May 1, 2011 · ... Lebesgue's covering theorem. Section 1.9 opens with the ... Lebesgue dimension, &sopis Ptst. Mat. Fys. 75 (1950). [1951] 0 p a 3 ...Missing: Henri | Show results with:Henri
[18]
Cantor set has dimension zero - metric spaces - Math Stack Exchange
Sep 14, 2020 · The easiest approach is to prove that your definition of zero-dimensional is equivalent to the usual one for a compact Hausdorff space X.What is the topological dimension of the Cantor set?Zero-dimensional space of size $\mathbb R$ contains a Cantor set?More results from math.stackexchange.com
[19]
[PDF] Fractal Dimension and Measure - Cornell Mathematics
At about the same time, Henri Lebesgue's approach to this problem (via covering sets) elicited a way to distinguish between Euclidean spaces of different ...
[20]
https://topology.nipissingu.ca/tp/reprints/v25/tp25126.pdf
[21]
Manifold -- from Wolfram MathWorld
A manifold is a topological space that is locally Euclidean (i.e., around every point, there is a neighborhood that is topologically the same as the open unit ...Compact Manifold · Complex Manifold · Algebraic Manifold · Cobordant Manifold
[22]
Uniqueness of the dimension of a manifold - Math Stack Exchange
Mar 21, 2019 · The dimension of a manifold is unique when the manifold is nonempty, since then dimension is determined by local homology at x∈X.
[23]
Atlas -- from Wolfram MathWorld
An atlas is a collection of consistent coordinate charts on a manifold, where "consistent" most commonly means that the transition functions of the charts ...
[24]
[PDF] 1.4 Smooth Manifolds Defined
A maximal smooth atlas is an atlas which contains every chart which is smoothly compatible with each of its members. A smooth manifold is a pair consisting of ...
[25]
[PDF] Chapter 7 Manifolds, Tangent Spaces, Cotangent ... - UPenn CIS
This shows that Tp(M) is a vector space of dimension n = dimension of M. In particular, if M is an n-dimensional smooth manifold in R. N and if γ ...
[26]
[PDF] manifolds - UC Davis Mathematics
(1) What is a manifold of dimension n? (2) What is an n-dimensional manifold ... two cases to the n-sphere: Sn = {(x1, ··· ,xn+1) | x2. 1 + ··· + x2 n+1 ...
[27]
Complex Manifold -- from Wolfram MathWorld
Naturally, a complex manifold of dimension n also has the structure of a real smooth manifold of dimension 2n. A function f:M->C is holomorphic if it is ...<|control11|><|separator|>
[28]
Whitney embedding theorem in nLab
Dec 26, 2024 · The (strong) Whitney embedding theorem states that every smooth manifold (Hausdorff and sigma-compact) of dimension n n has an embedding of ...
[29]
[PDF] The Whitney embedding theorem - DiVA portal
The Whitney embedding theorem shows that manifolds can be regarded as subspaces of some Euclidean space.
[30]
[PDF] LECTURE 32 MATH 256B 1. Dimension of algebraic varieties 1.1 ...
Dimension is really sort of something about irreducible components. Eventually we will say that the dimension of something with multiple irreducible components ...
[31]
[PDF] FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 20
Suppose A is an integral domain, finitely generated over a field k. If tr.deg.kA = n, then there are elements ...<|separator|>
[32]
[PDF] Lecture 3 Projective Varieties, Noether Normalization
(Noether normalization lemma). Let A be a finitely generated k-algebra, where k is any field (not necessarily algebraically closed). Then, we can find B ⊂ A ...
[33]
[PDF] Projective Varieties
In the projective case, hx1,...,xn+1i is a homogeneous radical ideal other than h1i whose zero set in Pn is empty. We must therefore remove ∅ and hx1,...,xn+1i ...
[34]
[PDF] FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 31
Feb 14, 2006 · Instead, we will define the degree of a projective k-scheme of dimension n to be leading coefficient of the. Hilbert polynomial (the coefficient ...
[35]
[PDF] On the Hilbert polynomials and Hilbert series of homogeneous
We will start with some generalities on Hilbert polynomials and Hilbert series of projective embeddings. Let X be a projective variety and let π : X ֒→ P(V ) be ...
[36]
Subsection 33.35.13 (08A9): Hilbert polynomials—The Stacks project
(degree d part) whose dimension over k is {d + n \choose n}. Lemma 33.35.16. Let k be a field. Let n \geq 0. Let \mathcal{F} be a coherent sheaf on \mathbf ...
[37]
Wolfgang Krull - Biography - MacTutor - University of St Andrews
In passing from the finite to the infinite case Krull introduced topological ideas. In 1928 he defined the Krull dimension of a commutative Noetherian ring and ...Missing: original | Show results with:original
[38]
[PDF] Hidden constructions in abstract algebra, Krull Dimension, Going Up ...
We present constructive versions of Krull's dimension theory for commutative rings ... Theorem 4.11 (Going Up) Let R ⊆ S be commutative rings with S integral over ...
[39]
[PDF] Hausdorff dimension and its applications - UChicago Math
The theory of Hausdorff dimension provides a general notion of the size of a set in a metric space. We define Hausdorff measure and dimension, enumerate some ...
[40]
Fractal Dimension
We define the box-counting dimension (or just ``box dimension'') of a set ... The Hausdorff and box dimensions coincide for compact, self-similar fractals ...
[41]
[PDF] brownian motion and hausdorff dimension - The University of Chicago
The final result of the paper shows that in dimensions 2 and higher, both the range and graph of. Brownian motion have Hausdorff dimension 2. In R2, this has ...
[42]
[PDF] Math 6810 (Probability and Fractals) Spring 2016 Lecture notes
Feb 22, 2016 · Hausdorff dimension has the following properties: (i) (Monotonicity) ... (iv) (Lipschitz invariance) If f : X → Y is bi-Lipschitz, then dimH f(E) = ...
[43]
[PDF] the hausdorff dimension: construction and methods of calculation
This paper focuses on the Hausdorff Dimension, exploring its definition, proper- ties, and methods for calculation.
[44]
[PDF] THE HAUSDORFF DIMENSION OF A GENERALIZED MORAN SET
In his 1946 paper [7] P.A.P Moran showed that the dimension of a geometrically self-similar Cantor set could be simply calculated. Namely, as long as the ...
[45]
[PDF] Chapter 6: Hilbert Spaces - UC Davis Math
The most important case in practice is that of a separable Hilbert space, which has a finite or countably infinite orthonormal basis. As shown inغ xercise 6.10, ...
[46]
[PDF] Hilbert spaces
Definition 17. A maximal orthonormal sequence in a separable Hilbert space is called a complete orthonormal basis. This notion of basis is not quite the same as ...
[47]
[PDF] 3. Bases for L2(S1) and Fourier series - Penn Math
Theorem 2: L2(S1) has an orthonormal basis. Proof: This is why we had to prove that L2 is separable. Because it is, we know that there is a countable dense ...
[48]
[PDF] DAMTP - 2 Hilbert Space
2.1 Definition of Hilbert Space. Hilbert space is a vector space H over C that is equipped with a complete inner product. Let's take a moment to understand ...
[49]
[PDF] hilbert spaces and the riesz representation theorem - UChicago Math
The Riesz representation theorem is a powerful result in the theory of Hilbert spaces which classifies continuous linear functionals in terms of the inner ...
[50]
[PDF] 5. Hilbert spaces Definition 5.1. Let H be a (complex) vector space. A ...
We don't need the Hahn-Banach Theorem on Hilbert spaces because the Riesz ... (Parseval's identity) that will give the norm in terms of these coefficients.
[51]
Euclidean Space -- from Wolfram MathWorld
Euclidean -space, sometimes called Cartesian space or simply -space, is the space of all n-tuples of real numbers, ( , , ..., ). Such -tuples are sometimes ...
[52]
[PDF] Rotation group - OU Math
Feb 19, 2010 · The rotation group SO(3) can be described as a subgroup of E*(3), the Euclidean group of direct isometries of R³. This larger group is the group ...
[53]
https://aleph0.clarku.edu/~djoyce/java/elements/elements.html
[54]
Nineteenth Century Geometry - Stanford Encyclopedia of Philosophy
Jul 26, 1999 · In the nineteenth century, geometry, like most academic disciplines, went through a period of growth verging on cataclysm.Lobachevskian geometry · Projective geometry · The differential geometry of...
[55]
[PDF] 1 Life and space dimensionality: A brief review of old and new ...
A general sketch on how the problem of space dimensionality depends on anthropic arguments is presented. Several examples of how life has been used to ...
[56]
Space and Time - Wikisource, the free online library
Jul 9, 2024 · In this Wikisource edition, Saha's notation was replaced by Minkowski's original notation. Also some passages were corrected, and the images and ...
[57]
[PDF] Space and Time - UCSD Math
It was Hermann Minkowski (Einstein's mathematics professor) who announced the new four- dimensional (spacetime) view of the world in 1908, which he deduced from ...
[58]
[PDF] General Relativity, Very, Very Briefly 1. The Problem 2. Special ...
Jan 21, 2023 · differences dt, dx, dy, dz, is. (1) ds2 = c2dt2 – dx2 – dy2 - dz2 ... dx/dt)2 = 1 – (v/c)2. We then have. d𝜏. dt. = )1 − v!/c! If we ...
[59]
[PDF] 85. Extra Dimensions - Particle Data Group
Aug 11, 2022 · Constraints on extra-dimensional models arise from astrophysical and cosmological considera- tions, tabletop experiments exploring gravity at ...
[60]
[PDF] Kaluza-Klein Gravity - arXiv
We review higher-dimensional unified theories from the general relativity, rather than the particle physics side. Three distinct approaches to the subject ...
[61]
[hep-th/9702155] String Theory on Calabi-Yau Manifolds - arXiv
Feb 23, 1997 · These lectures are devoted to introducing some of the basic features of quantum geometry that have been emerging from compactified string theory over the last ...
[62]
[1707.08541] Introduction to Extra Dimensions and Thick Braneworlds
Jul 26, 2017 · In this review, we give a brief introduction on the aspects of some extra dimension models and the five-dimensional thick brane models in extended theories of ...
[63]
Brane-World Gravity | Living Reviews in Relativity
The extra dimensions lead to new scalar and vector degrees of freedom on the brane. In 5D, the spin-2 graviton is represented by a metric perturbation (5)hAB ...
[64]
[1005.2755] Models and signatures of extra dimensions at the LHC
May 16, 2010 · Models for extra dimensions and some of the most promising ensuing signals for experimental discovery at the LHC are briefly reviewed. The ...Missing: searches | Show results with:searches
[65]
The LHC's extra dimension - CERN Courier
Jan 13, 2017 · The presence of a large extra dimension could produce a clear missing-energy signal in the LHC detectors.
[66]
Gravitational waves and extra dimensions: a short review - arXiv
May 25, 2019 · We give a brief review on the recent development of gravitational waves in extra-dimensional theories of gravity.
[67]
3D Graphics with OpenGL - The Basic Theory
All modern displays are raster-based. A raster is a 2D rectangular grid of pixels (or picture elements). A pixel has two properties: a color and a position.
[68]
Coordinate Systems - LearnOpenGL
To transform vertex coordinates from view to clip-space we define a so called projection matrix that specifies a range of coordinates e.g. -1000 and 1000 in ...
[69]
The Perspective and Orthographic Projection Matrix - Scratchapixel
Projection matrices are specialized 4x4 matrices designed to transform a 3D point in camera space into its projected counterpart on the canvas.Missing: grids | Show results with:grids
[70]
The Perspective and Orthographic Projection Matrix - Scratchapixel
This stands for the Model-View-Projection matrix. The idea is to combine the three matrices into one, so that when we multiply an input vertex with that matrix, ...
[71]
WebGL model view projection - Web APIs - MDN Web Docs
Jun 10, 2025 · This article explores how to take data within a WebGL project, and project it into the proper spaces to display it on the screen.
[72]
[PDF] An Improved Illumination Model for Shaded Display
Unlike previous ray tracing algorithms, the visibility calculations do not end when the nearest intersection of a ray with objects in the scene is found.
[73]
[PDF] SURVEY OF TEXTURE MAPPING - cs.Princeton
He also proposes a particular layout for color image pyramids called the ''mipmap''. WA on pyramid – Greene and Heckbert, 1986. Attempting to decouple the data ...
[74]
[PDF] REAL-TIME 4D ANIMATION ON A 3D GRAPHICS WORKSTATION 1
We describe the general structure of a real-time four di- mensional animation system and its implementation on a. 3D graphics workstation with hardware ...
[75]
[PDF] Display of Surfaces from Volume Data
The application of volume rendering techniques to the display of surfaces from sampled scalar func- tions of three spatial dimensions is explored.
[76]
[PDF] The OpenGL Graphics System: A Specification - Khronos Registry
specify the current homogeneous texture coordinates, named s, t, r, and q. The. TexCoord1 family of commands set the s coordinate to the provided single argu ...
[77]
Index of /exdb/mnist - Yann LeCun
Index of /exdb/mnist. [ICO], Name · Last modified · Size · Description. [PARENTDIR], Parent Directory, -. Apache/2.4.62 (Ubuntu) Server at yann.lecun.com Port ...
[78]
[PDF] DYNAMIC PROGRAMMING - Gwern
Bellman, Nuclear Engineering, 1957. 60. Page 84. CHAPTER II. A Stochastic Multi-Stage Decision Process. § 1. Introduction. In the preceding chapter we ...
[79]
[PDF] Pearson, K. 1901. On lines and planes of closest fit to systems of ...
Pearson, K. 1901. On lines and planes of closest fit to systems of points in space. Philosophical Magazine 2:559-572.
[80]
[PDF] Visualizing Data using t-SNE - Journal of Machine Learning Research
We present a new technique called “t-SNE” that visualizes high-dimensional data by giving each datapoint a location in a two or three-dimensional map.
[81]
[PDF] Physica 9D (1983) 189-208 North-Holland Publishing Company ...
We study the correlation exponent v introduced recently as a characteristic measure of strange attractors which allows one.
[82]
[PDF] Joint and Marginal Distributions - Arizona Math
Oct 23, 2008 · We begin with a pair of discrete random variables X and Y and define the joint (probability) mass function. fX,Y (x, y) = P{X = x, Y = y}.
[83]
[PDF] Multivariate Distributions - Joint Density Function and its Role
Apr 25, 2020 · Similarly to the case of a single continuous random variables, we talk about the joint probability density function (pdf) - not.
[84]
[PDF] Lecture 5. Stochastic processes - UC Davis Math
Standard (one-dimensional) Brownian motion starting at 0, also called the Wiener process, is a stochastic process B(t, ω) with the following properties: (1) ...
[85]
[PDF] The Multivariate Gaussian Distribution - CS229
Oct 10, 2008 · In particular, we found that an n- dimensional multivariate Gaussian with diagonal covariance matrix could be viewed simply as a collection ...
[86]
https://www.stat.purdue.edu/~mlevins/docs/stat516/lecture_notes/Joint_pdf.pdf
[87]
Attractor dimensions - Scholarpedia
Apr 16, 2007 · The dimension can depend on the 'natural measure' (defined below) on the attractor and not solely on the geometry of the attractor.The Box Counting Dimension · Lyapunov Dimension and the...
[88]
254A, Notes 1: Concentration of measure - Terry Tao - WordPress.com
Jan 3, 2010 · I had a following question about Levy's Lemma (another celebreated concentration of measure result). First the Levy's Lemma. Let $f : S^k ...