当前位置: 首页 > 工具软件 > Flat > 使用案例 >

Flat (geometry)

訾凯歌
2023-12-01

In geometry, a flat or Euclidean subspace is a subset of a Euclidean space that is itself a Euclidean space (of lower dimension). The flats in two-dimensional space are points and lines, and the flats in three-dimensional space are points, lines and planes.

In a n-dimensional space, there are flats of every dimension from 0 0 0 to n − 1 n - 1 n1; flats of dimension n − 1 n - 1 n1 are called hyperplanes.

Flats are the affine subspaces of Euclidean spaces, which means that they are similar to linear subspaces, except that they need not pass through the origin. Flats occur in linear algebra, as geometric realizations of solution sets of systems of linear equations.

A flat is a manifold and an algebraic variety, and is sometimes called a linear manifold or linear variety to distinguish it from other manifolds or varieties.

1 Descriptions


1.1 By equations


A flat can be described by a system of linear equations. For example, a line in two-dimensional space can be described by a single linear equation involving x , y x, y x,y:
3 x + 5 y = 8. 3x + 5y = 8. 3x+5y=8.

In three-dimensional space, a single linear equation involving x , y , z x, y, z x,y,z defines a plane, while a pair of linear equations can be used to describe a line. In general, a linear equation in n n n variables describes a hyperplane, and a system of linear equations describes the intersecation of those hyperplanes. Assuming the equations are consistent and linearly independent, a system of k k k equations describes a flat of dimension n − k n - k nk.

1.2 Parametric


A flat can also be described by a system of linear parametric equations. A line can be described by equations involving one parameter:
x = 2 + 3 t ,          y = − 1 + t          z = 3 2 − 4 t x=2+3t,\;\;\;\;y=-1+t\;\;\;\;z={\frac {3}{2}}-4t x=2+3t,y=1+tz=234t
while the description of a plane would require two parameters:
x = 5 + 2 t 1 − 3 t 2 ,          y = − 4 + t 1 + 2 t 2          z = 5 t 1 − 3 t 2 .   ⁣ x=5+2t_{1}-3t_{2},\;\;\;\;y=-4+t_{1}+2t_{2}\;\;\;\;z=5t_{1}-3t_{2}.\,\! x=5+2t13t2,y=4+t1+2t2z=5t13t2.

In general, a parameterization of a flat of dimension k k k would require parameters t 1 , . . . , t k t_1, ..., t_k t1,...,tk

2 Operations and relations on flats


2.1 Intersecting, parallel, and skew flats


An intersection of flats is either a flat or the empty set.

If each line from one flat is parallel to some line from another flat, then these two flats are parallel. Two parallel flats of the same dimension either coincide or do not intersect; they can be described by two systems of linear equations which differ only in their right-hand sides.

If flats do not intersect, and no line from the first flat is parallel to a line from the second flat, then these are skew flats.

2.2 Join


For two flats of dimensions k 1 , k 2 k_1, k_2 k1,k2 there exists the minimal flat which contains them, of dimension at most k 1 + k 2 + 1 k_1 + k_2 + 1 k1+k2+1. If two flats intersect, then the dimension of the containing flat equals to k 1 + k 2 k_1 + k_2 k1+k2 minus the dimension of the intersection.

2.3 Properties of operations


These two operations (referred to as meet and join) make the set of all flats in the Euclidean n n n-space a lattice and can build systematic coordinates for flats in any dimension, leading the Grassmann coordinates or dual Grassmann coordinates. For example, a line in three-dimensional space is determined by two distinct points or by two distince planes.

However, the lattice of all flats is not a distributive lattics. if two line l 1 , l 2 l_1, l_2 l1,l2 intersect, then l 1 ∩ l 2 l_1 ∩ l_2 l1l2 is a point. if p p p is a point not lying on the same plane, then ( l 1 ∩ l 2 ) + p = ( l 1 + p ) ∩ ( l 2 + p ) (l_1 ∩ l_2) + p = (l_1 + p) ∩ (l_2 + p) (l1l2)+p=(l1+p)(l2+p), both representing a line. But when l 1 , l 2 l_1, l_2 l1,l2 are parallel, this distributivity fails, giving p p p on the left-hand side and a third parallel line on the right-hand side.

3 Euclidean geometry


The aforementioned facts do not depend on the structure being that of Euclidean space (namely, involving Euclidean distance) and are correct in any affine space. In a Euclidean space:

4 See also


5 Notes

@Skip

6 References

@Skip

7 External links

@Skip

 类似资料: