Affine space

Last updated
In
R
3
,
{\displaystyle \mathbb {R} ^{3},}
the upper plane (in blue)
P
2
{\displaystyle P_{2}}
is not a vector subspace, since
0
[?]
P
2
{\displaystyle \mathbf {0} \notin P_{2}}
and
a
+
b
[?]
P
2
;
{\displaystyle \mathbf {a} +\mathbf {b} \notin P_{2};}
it is an affine subspace. Its direction (the linear subspace associated with this affine subspace) is the lower (green) plane
P
1
,
{\displaystyle P_{1},}
which is a vector subspace. Although
a
{\displaystyle \mathbf {a} }
and
b
{\displaystyle \mathbf {b} }
are in
P
2
,
{\displaystyle P_{2},}
their difference is a displacement vector, which does not belong to
P
2
,
{\displaystyle P_{2},}
but belongs to vector space
P
1
.
{\displaystyle P_{1}.} Affine space R3.png
In the upper plane (in blue) is not a vector subspace, since and it is an affine subspace. Its direction (the linear subspace associated with this affine subspace) is the lower (green) plane which is a vector subspace. Although and are in their difference is a displacement vector, which does not belong to but belongs to vector space

In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties related to parallelism and ratio of lengths for parallel line segments. Affine space is the setting for affine geometry.

Contents

As in Euclidean space, the fundamental objects in an affine space are called points , which can be thought of as locations in the space without any size or shape: zero-dimensional. Through any pair of points an infinite straight line can be drawn, a one-dimensional set of points; through any three points which are not collinear, a two-dimensional plane can be drawn; and in general through k+1 points in general position a k-dimensional flat or affine subspace can be drawn. Affine space is characterized by a notion of pairs of parallel lines which lie within the same plane but never meet each-other (non-parallel lines within the same plane intersect in a point). Given any line, a line parallel to it can be drawn through any point in the space, and the equivalence class of parallel lines are said to share a direction.

Unlike for vectors in a vector space, in an affine space there is no distinguished point that serves as an origin. There is no predefined concept of adding or multiplying points together, or multiplying a point by a scalar number. However, for any affine space, an associated vector space can be constructed from the differences between start and end points, which are called displacement vectors , translation vectors or simply translations. [1] Likewise, it makes sense to add a displacement vector to a point of an affine space, resulting in a new point translated from the starting point by that vector. While points cannot be arbitrarily added together, it is meaningful to take affine combinations of points: weighted sums with numerical coefficients summing to 1, resulting in another point. These coefficients define a barycentric coordinate system for the flat through the points.

Any vector space may be viewed as an affine space; this amounts to "forgetting" the special role played by the zero vector. In this case, elements of the vector space may be viewed either as points of the affine space or as displacement vectors or translations. When considered as a point, the zero vector is called the origin. Adding a fixed vector to the elements of a linear subspace (vector subspace) of a vector space produces an affine subspace of the vector space. One commonly says that this affine subspace has been obtained by translating (away from the origin) the linear subspace by the translation vector (the vector added to all the elements of the linear space). In finite dimensions, such an affine subspace is the solution set of an inhomogeneous linear system. The displacement vectors for that affine space are the solutions of the corresponding homogeneous linear system, which is a linear subspace. Linear subspaces, in contrast, always contain the origin of the vector space.

The dimension of an affine space is defined as the dimension of the vector space of its translations. An affine space of dimension one is an affine line. An affine space of dimension 2 is an affine plane . An affine subspace of dimension n – 1 in an affine space or a vector space of dimension n is an affine hyperplane.

Informal description

Origins from Alice's and Bob's perspectives. Vector computation from Alice's perspective is in red, whereas that from Bob's is in blue. Affine origin.png
Origins from Alice's and Bob's perspectives. Vector computation from Alice's perspective is in red, whereas that from Bob's is in blue.

The following characterization may be easier to understand than the usual formal definition: an affine space is what is left of a vector space after one has forgotten which point is the origin (or, in the words of the French mathematician Marcel Berger, "An affine space is nothing more than a vector space whose origin we try to forget about, by adding translations to the linear maps" [2] ). Imagine that Alice knows that a certain point is the actual origin, but Bob believes that another point—call it p—is the origin. Two vectors, a and b, are to be added. Bob draws an arrow from point p to point a and another arrow from point p to point b, and completes the parallelogram to find what Bob thinks is a + b, but Alice knows that he has actually computed

p + (ap) + (bp).

Similarly, Alice and Bob may evaluate any linear combination of a and b, or of any finite set of vectors, and will generally get different answers. However, if the sum of the coefficients in a linear combination is 1, then Alice and Bob will arrive at the same answer.

If Alice travels to

λa + (1 − λ)b

then Bob can similarly travel to

p + λ(ap) + (1 − λ)(bp) = λa + (1 − λ)b.

Under this condition, for all coefficients λ + (1 − λ) = 1, Alice and Bob describe the same point with the same linear combination, despite using different origins.

While only Alice knows the "linear structure", both Alice and Bob know the "affine structure"—i.e. the values of affine combinations, defined as linear combinations in which the sum of the coefficients is 1. A set with an affine structure is an affine space.

Definition

While affine space can be defined axiomatically (see § Axioms below), analogously to the definition of Euclidean space implied by Euclid's Elements, for convenience most modern sources define affine spaces in terms of the well developed vector space theory.

An affine space is a set A together with a vector space , and a transitive and free action of the additive group of on the set A. [3] The elements of the affine space A are called points. The vector space is said to be associated to the affine space, and its elements are called vectors, translations, or sometimes free vectors .

Explicitly, the definition above means that the action is a mapping, generally denoted as an addition,

that has the following properties. [4] [5] [6]

  1. Right identity:
    , where 0 is the zero vector in
  2. Associativity:
    (here the last + is the addition in )
  3. Free and transitive action:
    For every , the mapping is a bijection.

The first two properties are simply defining properties of a (right) group action. The third property characterizes free and transitive actions, the onto character coming from transitivity, and then the injective character follows from the action being free. There is a fourth property that follows from 1, 2 above:

  1. Existence of one-to-one translations
  2. For all , the mapping is a bijection.

Property 3 is often used in the following equivalent form (the 5th property).

  1. Subtraction:
  2. For every a, b in A, there exists a unique , denoted ba, such that .

Another way to express the definition is that an affine space is a principal homogeneous space for the action of the additive group of a vector space. Homogeneous spaces are by definition endowed with a transitive group action, and for a principal homogeneous space such a transitive action is by definition free.

Subtraction and Weyl's axioms

The properties of the group action allows for the definition of subtraction for any given ordered pair (b, a) of points in A, producing a vector of . This vector, denoted or , is defined to be the unique vector in such that

Existence follows from the transitivity of the action, and uniqueness follows because the action is free.

This subtraction has the two following properties, called Weyl's axioms: [7]

  1. , there is a unique point such that

The parallelogram property is satisfied in affine spaces, where it is expressed as: given four points the equalities and are equivalent. This results from the second Weyl's axiom, since

Affine spaces can be equivalently defined as a point set A, together with a vector space , and a subtraction satisfying Weyl's axioms. In this case, the addition of a vector to a point is defined from the first of Weyl's axioms.

Affine subspaces and parallelism

An affine subspace (also called, in some contexts, a linear variety, a flat, or, over the real numbers, a linear manifold) B of an affine space A is a subset of A such that, given a point , the set of vectors is a linear subspace of . This property, which does not depend on the choice of a, implies that B is an affine space, which has as its associated vector space.

The affine subspaces of A are the subsets of A of the form

where a is a point of A, and V a linear subspace of .

The linear subspace associated with an affine subspace is often called its direction, and two subspaces that share the same direction are said to be parallel.

This implies the following generalization of Playfair's axiom: Given a direction V, for any point a of A there is one and only one affine subspace of direction V, which passes through a, namely the subspace a + V.

Every translation maps any affine subspace to a parallel subspace.

The term parallel is also used for two affine subspaces such that the direction of one is included in the direction of the other.

Affine map

Given two affine spaces A and B whose associated vector spaces are and , an affine map or affine homomorphism from A to B is a map

such that

is a well defined linear map. By being well defined is meant that ba = dc implies f(b) – f(a) = f(d) – f(c).

This implies that, for a point and a vector , one has

Therefore, since for any given b in A, b = a + v for a unique v, f is completely defined by its value on a single point and the associated linear map .

Endomorphisms

An affine transformation or endomorphism of an affine space is an affine map from that space to itself. One important family of examples is the translations: given a vector , the translation map that sends for every in is an affine map. Another important family of examples are the linear maps centred at an origin: given a point and a linear map , one may define an affine map by

for every in .

After making a choice of origin , any affine map may be written uniquely as a combination of a translation and a linear map centred at .

Vector spaces as affine spaces

Every vector space V may be considered as an affine space over itself. This means that every element of V may be considered either as a point or as a vector. This affine space is sometimes denoted (V, V) for emphasizing the double role of the elements of V. When considered as a point, the zero vector is commonly denoted o (or O, when upper-case letters are used for points) and called the origin.

If A is another affine space over the same vector space (that is ) the choice of any point a in A defines a unique affine isomorphism, which is the identity of V and maps a to o. In other words, the choice of an origin a in A allows us to identify A and (V, V) up to a canonical isomorphism. The counterpart of this property is that the affine space A may be identified with the vector space V in which "the place of the origin has been forgotten".

Relation to Euclidean spaces

Definition of Euclidean spaces

Euclidean spaces (including the one-dimensional line, two-dimensional plane, and three-dimensional space commonly studied in elementary geometry, as well as higher-dimensional analogues) are affine spaces.

Indeed, in most modern definitions, a Euclidean space is defined to be an affine space, such that the associated vector space is a real inner product space of finite dimension, that is a vector space over the reals with a positive-definite quadratic form q(x). The inner product of two vectors x and y is the value of the symmetric bilinear form

The usual Euclidean distance between two points A and B is

In older definition of Euclidean spaces through synthetic geometry, vectors are defined as equivalence classes of ordered pairs of points under equipollence (the pairs (A, B) and (C, D) are equipollent if the points A, B, D, C (in this order) form a parallelogram). It is straightforward to verify that the vectors form a vector space, the square of the Euclidean distance is a quadratic form on the space of vectors, and the two definitions of Euclidean spaces are equivalent.

Affine properties

In Euclidean geometry, the common phrase "affine property" refers to a property that can be proved in affine spaces, that is, it can be proved without using the quadratic form and its associated inner product. In other words, an affine property is a property that does not involve lengths and angles. Typical examples are parallelism, and the definition of a tangent. A non-example is the definition of a normal.

Equivalently, an affine property is a property that is invariant under affine transformations of the Euclidean space.

Affine combinations and barycenter

Let a1, ..., an be a collection of n points in an affine space, and be n elements of the ground field.

Suppose that . For any two points o and o' one has

Thus, this sum is independent of the choice of the origin, and the resulting vector may be denoted

When , one retrieves the definition of the subtraction of points.

Now suppose instead that the field elements satisfy . For some choice of an origin o, denote by the unique point such that

One can show that is independent from the choice of o. Therefore, if

one may write

The point is called the barycenter of the for the weights . One says also that is an affine combination of the with coefficients .

Examples

Affine span and bases

For any non-empty subset X of an affine space A, there is a smallest affine subspace that contains it, called the affine span of X. It is the intersection of all affine subspaces containing X, and its direction is the intersection of the directions of the affine subspaces that contain X.

The affine span of X is the set of all (finite) affine combinations of points of X, and its direction is the linear span of the xy for x and y in X. If one chooses a particular point x0, the direction of the affine span of X is also the linear span of the xx0 for x in X.

One says also that the affine span of X is generated by X and that X is a generating set of its affine span.

A set X of points of an affine space is said to be affinely independent or, simply, independent, if the affine span of any strict subset of X is a strict subset of the affine span of X. An affine basis or barycentric frame (see § Barycentric coordinates, below) of an affine space is a generating set that is also independent (that is a minimal generating set).

Recall that the dimension of an affine space is the dimension of its associated vector space. The bases of an affine space of finite dimension n are the independent subsets of n + 1 elements, or, equivalently, the generating subsets of n + 1 elements. Equivalently, {x0, ..., xn} is an affine basis of an affine space if and only if {x1x0, ..., xnx0} is a linear basis of the associated vector space.

Coordinates

There are two strongly related kinds of coordinate systems that may be defined on affine spaces.

Barycentric coordinates

Let A be an affine space of dimension n over a field k, and be an affine basis of A. The properties of an affine basis imply that for every x in A there is a unique (n + 1)-tuple of elements of k such that

and

The are called the barycentric coordinates of x over the affine basis . If the xi are viewed as bodies that have weights (or masses) , the point x is thus the barycenter of the xi, and this explains the origin of the term barycentric coordinates.

The barycentric coordinates define an affine isomorphism between the affine space A and the affine subspace of kn + 1 defined by the equation .

For affine spaces of infinite dimension, the same definition applies, using only finite sums. This means that for each point, only a finite number of coordinates are non-zero.

Affine coordinates

An affine frame of an affine space consists of a point, called the origin, and a linear basis of the associated vector space. More precisely, for an affine space A with associated vector space , the origin o belongs to A, and the linear basis is a basis (v1, ..., vn) of (for simplicity of the notation, we consider only the case of finite dimension, the general case is similar).

For each point p of A, there is a unique sequence of elements of the ground field such that

or equivalently

The are called the affine coordinates of p over the affine frame (o, v1, ..., vn).

Example: In Euclidean geometry, Cartesian coordinates are affine coordinates relative to an orthonormal frame, that is an affine frame (o, v1, ..., vn) such that (v1, ..., vn) is an orthonormal basis.

Relationship between barycentric and affine coordinates

Barycentric coordinates and affine coordinates are strongly related, and may be considered as equivalent.

In fact, given a barycentric frame

one deduces immediately the affine frame

and, if

are the barycentric coordinates of a point over the barycentric frame, then the affine coordinates of the same point over the affine frame are

Conversely, if

is an affine frame, then

is a barycentric frame. If

are the affine coordinates of a point over the affine frame, then its barycentric coordinates over the barycentric frame are

Therefore, barycentric and affine coordinates are almost equivalent. In most applications, affine coordinates are preferred, as involving less coordinates that are independent. However, in the situations where the important points of the studied problem are affinely independent, barycentric coordinates may lead to simpler computation, as in the following example.

Example of the triangle

The vertices of a non-flat triangle form an affine basis of the Euclidean plane. The barycentric coordinates allows easy characterization of the elements of the triangle that do not involve angles or distances:

The vertices are the points of barycentric coordinates (1, 0, 0), (0, 1, 0) and (0, 0, 1). The lines supporting the edges are the points that have a zero coordinate. The edges themselves are the points that have one zero coordinate and two nonnegative coordinates. The interior of the triangle are the points whose coordinates are all positive. The medians are the points that have two equal coordinates, and the centroid is the point of coordinates (1/3, 1/3, 1/3).

Change of coordinates

Case of barycentric coordinates

Barycentric coordinates are readily changed from one basis to another. Let and be affine bases of A. For every x in A there is some tuple for which

Similarly, for every from the first basis, we now have in the second basis

for some tuple . Now we can rewrite our expression in the first basis as one in the second with

giving us coordinates in the second basis as the tuple .

Case of affine coordinates

Affine coordinates are also readily changed from one basis to another. Let , and , be affine frames of A. For each point p of A, there is a unique sequence of elements of the ground field such that

and similarly, for every from the first basis, we now have in the second basis

for tuple and tuples . Now we can rewrite our expression in the first basis as one in the second with

giving us coordinates in the second basis as the tuple .

Properties of affine homomorphisms

Matrix representation

Image and fibers

Let

be an affine homomorphism, with

its associated linear map. The image of f is the affine subspace of F, which has as associated vector space. As an affine space does not have a zero element, an affine homomorphism does not have a kernel. However, the linear map does, and if we denote by its kernel, then for any point x of , the inverse image of x is an affine subspace of E whose direction is . This affine subspace is called the fiber of x.

Projection

An important example is the projection parallel to some direction onto an affine subspace. The importance of this example lies in the fact that Euclidean spaces are affine spaces, and that these kinds of projections are fundamental in Euclidean geometry.

More precisely, given an affine space E with associated vector space , let F be an affine subspace of direction , and D be a complementary subspace of in (this means that every vector of may be decomposed in a unique way as the sum of an element of and an element of D). For every point x of E, its projection to F parallel to D is the unique point p(x) in F such that

This is an affine homomorphism whose associated linear map is defined by

for x and y in E.

The image of this projection is F, and its fibers are the subspaces of direction D.

Quotient space

Although kernels are not defined for affine spaces, quotient spaces are defined. This results from the fact that "belonging to the same fiber of an affine homomorphism" is an equivalence relation.

Let E be an affine space, and D be a linear subspace of the associated vector space . The quotientE/D of E by D is the quotient of E by the equivalence relation such that x and y are equivalent if

This quotient is an affine space, which has as associated vector space.

For every affine homomorphism , the image is isomorphic to the quotient of E by the kernel of the associated linear map. This is the first isomorphism theorem for affine spaces.

Axioms

Affine spaces are usually studied by analytic geometry using coordinates, or equivalently vector spaces. They can also be studied as synthetic geometry by writing down axioms, though this approach is much less common. There are several different systems of axioms for affine space.

Coxeter (1969 , p. 192) axiomatizes the special case of affine geometry over the reals as ordered geometry together with an affine form of Desargues's theorem and an axiom stating that in a plane there is at most one line through a given point not meeting a given line.

Affine planes satisfy the following axioms ( Cameron 1991 , chapter 2): (in which two lines are called parallel if they are equal or disjoint):

As well as affine planes over fields (or division rings), there are also many non-Desarguesian planes satisfying these axioms. ( Cameron 1991 , chapter 3) gives axioms for higher-dimensional affine spaces.

Purely axiomatic affine geometry is more general than affine spaces and is treated in a separate article.

Relation to projective spaces

An affine space is a subspace of a projective space, which is in turn the quotient of a vector space by an equivalence relation (not by a linear subspace) Affine space, projective space, vector space.svg
An affine space is a subspace of a projective space, which is in turn the quotient of a vector space by an equivalence relation (not by a linear subspace)

Affine spaces are contained in projective spaces. For example, an affine plane can be obtained from any projective plane by removing one line and all the points on it, and conversely any affine plane can be used to construct a projective plane as a closure by adding a line at infinity whose points correspond to equivalence classes of parallel lines. Similar constructions hold in higher dimensions.

Further, transformations of projective space that preserve affine space (equivalently, that leave the hyperplane at infinity invariant as a set) yield transformations of affine space. Conversely, any affine linear transformation extends uniquely to a projective linear transformation, so the affine group is a subgroup of the projective group. For instance, Möbius transformations (transformations of the complex projective line, or Riemann sphere) are affine (transformations of the complex plane) if and only if they fix the point at infinity.

Affine algebraic geometry

In algebraic geometry, an affine variety (or, more generally, an affine algebraic set) is defined as the subset of an affine space that is the set of the common zeros of a set of so-called polynomial functions over the affine space. For defining a polynomial function over the affine space, one has to choose an affine frame. Then, a polynomial function is a function such that the image of any point is the value of some multivariate polynomial function of the coordinates of the point. As a change of affine coordinates may be expressed by linear functions (more precisely affine functions) of the coordinates, this definition is independent of a particular choice of coordinates.

The choice of a system of affine coordinates for an affine space of dimension n over a field k induces an affine isomorphism between and the affine coordinate space kn. This explains why, for simplification, many textbooks write , and introduce affine algebraic varieties as the common zeros of polynomial functions over kn. [8]

As the whole affine space is the set of the common zeros of the zero polynomial, affine spaces are affine algebraic varieties.

Ring of polynomial functions

By the definition above, the choice of an affine frame of an affine space allows one to identify the polynomial functions on with polynomials in n variables, the ith variable representing the function that maps a point to its ith coordinate. It follows that the set of polynomial functions over is a k-algebra, denoted , which is isomorphic to the polynomial ring .

When one changes coordinates, the isomorphism between and changes accordingly, and this induces an automorphism of , which maps each indeterminate to a polynomial of degree one. It follows that the total degree defines a filtration of , which is independent from the choice of coordinates. The total degree defines also a graduation, but it depends on the choice of coordinates, as a change of affine coordinates may map indeterminates on non-homogeneous polynomials.

Zariski topology

Affine spaces over topological fields, such as the real or the complex numbers, have a natural topology. The Zariski topology, which is defined for affine spaces over any field, allows use of topological methods in any case. Zariski topology is the unique topology on an affine space whose closed sets are affine algebraic sets (that is sets of the common zeros of polynomial functions over the affine set). As, over a topological field, polynomial functions are continuous, every Zariski closed set is closed for the usual topology, if any. In other words, over a topological field, Zariski topology is coarser than the natural topology.

There is a natural injective function from an affine space into the set of prime ideals (that is the spectrum) of its ring of polynomial functions. When affine coordinates have been chosen, this function maps the point of coordinates to the maximal ideal . This function is a homeomorphism (for the Zariski topology of the affine space and of the spectrum of the ring of polynomial functions) of the affine space onto the image of the function.

The case of an algebraically closed ground field is especially important in algebraic geometry, because, in this case, the homeomorphism above is a map between the affine space and the set of all maximal ideals of the ring of functions (this is Hilbert's Nullstellensatz).

This is the starting idea of scheme theory of Grothendieck, which consists, for studying algebraic varieties, of considering as "points", not only the points of the affine space, but also all the prime ideals of the spectrum. This allows gluing together algebraic varieties in a similar way as, for manifolds, charts are glued together for building a manifold.

Cohomology

Like all affine varieties, local data on an affine space can always be patched together globally: the cohomology of affine space is trivial. More precisely, for all coherent sheaves F, and integers . This property is also enjoyed by all other affine varieties. But also all of the étale cohomology groups on affine space are trivial. In particular, every line bundle is trivial. More generally, the Quillen–Suslin theorem implies that every algebraic vector bundle over an affine space is trivial.

See also

Notes

  1. The word translation is generally preferred to displacement vector, which may be confusing, as displacements include also rotations.
  2. Berger 1987 , p. 32
  3. Berger, Marcel (1984), "Affine spaces", Problems in Geometry, Springer, p. 11, ISBN   9780387909714
  4. Berger 1987 , p. 33
  5. Snapper, Ernst; Troyer, Robert J. (1989), Metric Affine Geometry, p. 6
  6. Tarrida, Agusti R. (2011), "Affine spaces", Affine Maps, Euclidean Motions and Quadrics, Springer, pp. 1–2, ISBN   9780857297105
  7. Nomizu & Sasaki 1994 , p. 7
  8. Hartshorne 1977 , Ch. I, § 1.

Related Research Articles

<span class="mw-page-title-main">Euclidean space</span> Fundamental space of geometry

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

In mathematics, and more specifically in linear algebra, a linear map is a mapping between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism.

<span class="mw-page-title-main">Basis (linear algebra)</span> Set of vectors used to define coordinates

In mathematics, a set B of vectors in a vector space V is called a basis if every element of V may be written in a unique way as a finite linear combination of elements of B. The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to B. The elements of a basis are called basis vectors.

<span class="mw-page-title-main">Vector space</span> Algebraic structure in linear algebra

In mathematics and physics, a vector space is a set whose elements, often called vectors, may be added together and multiplied ("scaled") by numbers called scalars. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called vector axioms. Real vector space and complex vector space are kinds of vector spaces based on different kinds of scalars: real coordinate space or complex coordinate space.

<span class="mw-page-title-main">Affine transformation</span> Geometric transformation that preserves lines but not angles nor the origin

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

<span class="mw-page-title-main">Geodesic</span> Straight path on a curved surface or a Riemannian manifold

In geometry, a geodesic is a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line".

<span class="mw-page-title-main">Hyperplane</span> Subspace of n-space whose dimension is (n-1)

In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is one less than that of the ambient space. Two lower-dimensional examples of hyperplanes are one-dimensional lines in a plane and zero-dimensional points on a line.

In mathematics, a quadric or quadric surface (quadric hypersurface in higher dimensions), is a generalization of conic sections (ellipses, parabolas, and hyperbolas). It is a hypersurface (of dimension D) in a (D + 1)-dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in D + 1 variables; for example, D = 1 in the case of conic sections. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a degenerate quadric or a reducible quadric.

<span class="mw-page-title-main">Ceva's theorem</span> Geometric relation between line segments from a triangles vertices and their intersection

In Euclidean geometry, Ceva's theorem is a theorem about triangles. Given a triangle ABC, let the lines AO, BO, CO be drawn from the vertices to a common point O, to meet opposite sides at D, E, F respectively. Then, using signed lengths of segments,

<span class="mw-page-title-main">Projective space</span> Completion of the usual space with "points at infinity"

In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet at infinity. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines.

In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.

<span class="mw-page-title-main">Jordan normal form</span> Form of a matrix indicating its eigenvalues and their algebraic multiplicities

In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF), is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to some basis. Such a matrix has each non-zero off-diagonal entry equal to 1, immediately above the main diagonal, and with identical diagonal entries to the left and below them.

In mathematics, the Grassmannian is a differentiable manifold that parameterizes the set of all -dimensional linear subspaces of an -dimensional vector space over a field . For example, the Grassmannian is the space of lines through the origin in , so it is the same as the projective space of one dimension lower than . When is a real or complex vector space, Grassmannians are compact smooth manifolds, of dimension . In general they have the structure of a nonsingular projective algebraic variety.

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

<span class="mw-page-title-main">Barycentric coordinate system</span> Coordinate system that is defined by points instead of vectors

In geometry, a barycentric coordinate system is a coordinate system in which the location of a point is specified by reference to a simplex. The barycentric coordinates of a point can be interpreted as masses placed at the vertices of the simplex, such that the point is the center of mass of these masses. These masses can be zero or negative; they are all positive if and only if the point is inside the simplex.

<span class="mw-page-title-main">Position (geometry)</span> Vector representing the position of a point with respect to a fixed origin

In geometry, a position or position vector, also known as location vector or radius vector, is a Euclidean vector that represents a point P in space. Its length represents the distance in relation to an arbitrary reference origin O and its direction represents the angular orientation with respect to given reference axes. Usually denoted x, r, or s, it corresponds to the straight line segment from O to P. In other words, it is the displacement or translation that maps the origin to P:

In mathematics, a volume element provides a means for integrating a function with respect to volume in various coordinate systems such as spherical coordinates and cylindrical coordinates. Thus a volume element is an expression of the form

<span class="mw-page-title-main">Three-dimensional space</span> Geometric model of the physical space

In geometry, a three-dimensional space is a mathematical space in which three values (coordinates) are required to determine the position of a point. Most commonly, it is the three-dimensional Euclidean space, that is, the Euclidean space of dimension three, which models physical space. More general three-dimensional spaces are called 3-manifolds. The term may also refer colloquially to a subset of space, a three-dimensional region, a solid figure.

<span class="mw-page-title-main">Hyperboloid model</span> Model of n-dimensional hyperbolic geometry

In geometry, the hyperboloid model, also known as the Minkowski model after Hermann Minkowski, is a model of n-dimensional hyperbolic geometry in which points are represented by points on the forward sheet S+ of a two-sheeted hyperboloid in (n+1)-dimensional Minkowski space or by the displacement vectors from the origin to those points, and m-planes are represented by the intersections of (m+1)-planes passing through the origin in Minkowski space with S+ or by wedge products of m vectors. Hyperbolic space is embedded isometrically in Minkowski space; that is, the hyperbolic distance function is inherited from Minkowski space, analogous to the way spherical distance is inherited from Euclidean distance when the n-sphere is embedded in (n+1)-dimensional Euclidean space.

<span class="mw-page-title-main">Hilbert space</span> Type of topological vector space

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.

References