Plane (mathematics)
From Free net encyclopedia
Image:PlaneIntersection.png In mathematics, a plane is a fundamental two-dimensional object. Intuitively, it may be visualized as a flat infinite sheet of paper. There are several definitions of the plane, equivalent in the sense of Euclidean geometry, but which can be extended in different ways to define objects in other areas of mathematics.
In some areas of mathematics, such as plane geometry or 2D computer graphics, the whole space in which the work is carried out is a single plane. In such situations the definite article is used: the plane. Many fundamental tasks in geometry, trigonometry, and graphing are performed in the two dimensional space, or in other words, in the plane.
Contents |
Euclidean geometry
A plane is a surface such that, given any three points on the surface, the surface also contains the straight line that passes through the two of them. One can introduce a Cartesian coordinate system on a given plane in order to label every point on it uniquely with two numbers, the point's coordinates.
Within any Euclidean space, a plane is uniquely determined by any of the following combinations:
- three non-collinear points (not lying on the same line)
- a line and a point not on the line
- two different lines which intersect
- two different lines which are parallel
Planes embedded in R3
This section is specifically concerned with planes embedded in three dimensions: specifically, in R3.
Properties
In three-dimensional space, we may exploit the following facts that do not hold in higher dimensions:
- Two planes are either parallel or they intersect in a line.
- A line is either parallel to a plane or they intersect at a single point.
- Two lines normal to the same plane must be parallel to each other.
- Two planes normal to the same line must be parallel to each other.
Point and a normal vector
In a three-dimensional ambient space, there is another important way of defining a plane:
- a point and a line, which is normal (perpendicular) to the plane
We can explicitly describe the resulting plane; let <math>\vec p</math> be the point we wish to lie in the plane, and let <math>\vec n</math> be a nonzero vector parallel to the line we wish to be normal to the plane. The desired plane is the set of all points <math>\vec r</math> such that
- <math>\vec n\cdot(\vec r-\vec p)=0.</math>
If we write <math>\vec n = (a, b, c) </math>, <math>\vec r = (x, y, z) </math>, and <math>\vec n\cdot\vec p=-d</math>, then the plane is determined by the condition
- <math>ax + by + cz + d = 0</math>,
where a, b, c and d could be any real numbers such that not all of a, b, c are zero.
Alternatively, a plane may be described parametrically as the set of all points of the form
- <math>\vec{u} + s\vec{v} + t\vec{w},</math>
where s and t range over all real numbers, and <math>\vec{u}</math>, <math>\vec{v}</math> and <math>\vec{w}</math> are given vectors defining the plane.
Plane through three points
The plane passing through three points <math> \vec p_1 = (x_1,y_1,z_1) </math>, <math> \vec p_2 = (x_2,y_2,z_2) </math> and <math> \vec p_3 = (x_3,y_3,z_3) </math> can be determined by the following determinant equations:
- <math>\begin{vmatrix}
x - x_1 & y - y_1 & z - z_1 \\ x_2 - x_1 & y_2 - y_1& z_2 - z_1 \\ x_3 - x_1 & y_3 - y_1 & z_3 - z_1 \end{vmatrix} =\begin{vmatrix} x - x_1 & y - y_1 & z - z_1 \\ x - x_2 & y - y_2 & z - z_2 \\ x - x_3 & y - y_3 & z - z_3 \end{vmatrix} = 0. </math>
This plane can also be described by the "point and a normal vector" prescription above. A suitable normal vector is given by the cross product <math>\vec n = ( \vec p_2 - \vec p_1 ) \times ( \vec p_3 - \vec p_1 ), </math> and the point <math>\vec p</math> can be taken to be <math>\vec p_1</math>.
The distance from a point to a plane
For a plane <math>ax + by + cz + d = 0</math> and a point <math>\vec p_1 = (x_1,y_1,z_1) </math> not necessarily lying on the plane, the distance from <math>\vec p_1</math> to the plane is
- <math> D = \frac{\left | a x_1 + b y_1 + c z_1+d \right |}{\sqrt{a^2+b^2+c^2}}. </math>
The line of intersection between two planes
Given intersecting planes described by <math>\vec n_1\cdot \vec r = h_1</math> and <math>\vec n_2\cdot \vec r = h_2</math>, the line of intersection is perpendicular to both <math>\vec n_1</math> and <math>\vec n_2</math> and thus parallel to
- <math> \vec n_1 \times \vec n_2 </math>.
If we further assume that <math>\vec n_1</math> and <math>\vec n_2</math> are orthonormal then the closest point on the line of intersection to the origin is
- <math>\vec r_0 = h_1\vec n_1 + h_2\vec n_2</math>.
The dihedral angle
Given two intersecting planes described by <math>a_1 x + b_1 y + c_1 z + d_1 = 0</math> and <math>a_2 x + b_2 y + c_2 z + d_2 = 0</math>, the dihedral angle between them is defined to be the angle <math>\alpha</math> between their normal directions:
- <math>\cos\alpha = \hat n_1\cdot \hat n_2 = \frac{a_1 a_2 + b_1 b_2 + c_1 c_2}{\sqrt{a_1^2+b_1^2+c_1^2}\sqrt{a_2^2+b_2^2+c_2^2}}. </math>
The plane in other areas of mathematics
In addition to its familiar geometric structure, with isomorphisms that are isometries with respect to the usual inner product, the plane may be viewed at various other levels of abstraction. Each level of abstraction corresponds to a specific category.
At one extreme, all geometrical and metric concepts may be dropped to leave the topological plane, which may be thought of as an idealised homotopically trivial infinite rubber sheet, which retains a notion of proximity, but has no distances. The topological plane has a concept of a linear path, but no concept of a straight line. The topological plane, or its equivalent the open disc, is the basic topological neighbourhood used to construct surfaces (or 2-manifolds) classified in low-dimensional topology. Isomorphisms of the topological plane are all continuous bijections. The topological plane is the natural context for the branch of graph theory that deals with planar graphs, and results such as the four color theorem.
The plane may also be viewed as an affine space, whose isomorphisms are combinations of translations and non-singular linear maps. From this viewpoint there are no distances, but colinearity and ratios of distances on any line are preserved.
Differential geometry views a plane as a 2-dimensional real manifold, a topological plane which is provided with a differential structure. Again in this case, there is no notion of distance, but there is now a concept of smoothness of maps, for example a differentiable or smooth path (depending on the type of differential structure applied). The isomorphisms in this case are bijections with the chosen degree of differentiability.
In the opposite direction of abstraction, we may apply a compatible field structure to the geometric plane, giving rise to the complex plane and the major area of complex analysis. The complex field has only two isomorphisms, the identity and conjugation.
In the same way as in the real case, the plane may also be viewed as the simplest, one-dimensional (over the complex numbers) complex manifold, sometimes called the complex line. However, this viewpoint contrasts sharply with the case of the plane as a 2-dimensional real manifold. The isomorphisms are all conformal bijections of the complex plane, but the only possibilities are maps that correspond to the composition of a multiplication by a complex number and a translation.
In addition, the Euclidean geometry (which has zero curvature everywhere) is not the only geometry that the plane may have. The plane may be given a spherical geometry by using the stereographic projection. This can be thought of as placing a sphere on the plane (just like a ball on the floor), removing the top point, and projecting the sphere onto the plane from this point). This is one of the projections that may be used in making a flat map of part of the Earth's surface. The resulting geometry has constant positive curvature.
Alternatively, the plane can also be given a metric which gives it constant negative curvature giving the hyperbolic plane. The latter possibility finds an application in the theory of special relativity in the simplified case where there is one dimension of space and one of time.
See also
External links
bg:Равнина (математика) ca:Pla cs:Rovina da:Plan (matematik) de:Ebene (Mathematik) et:Tasand es:Plano (geometría) fr:Plan (mathématiques) io:Plano it:Piano (geometria) he:מישור (גאומטריה) nl:Vlak ja:平面 nds:Flach (Mathematik) pl:Płaszczyzna ru:Плоскость sl:Ravnina sr:Раван fi:Taso sv:Plan zh:平面