Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Euclidean plane

From Wikipedia, the free encyclopedia
Geometric model of the planar projection of the physical universe
"Plane (geometry)" redirects here. For generalizations, seePlane (mathematics). For its applications, seePlane (physics).
Bi-dimensionalCartesian coordinate system
Geometry
Stereographic projection from the top of a sphere onto a plane beneath it
Four-/other-dimensional
Geometers

Inmathematics, aEuclidean plane is aEuclidean space ofdimension two, denotedE2{\displaystyle {\textbf {E}}^{2}} orE2{\displaystyle \mathbb {E} ^{2}}. It is ageometric space in which tworeal numbers are required to determine theposition of eachpoint. It is anaffine space, which includes in particular the concept ofparallel lines. It has alsometrical properties induced by adistance, which allows to definecircles, andangle measurement.

A Euclidean plane with a chosenCartesian coordinate system is called aCartesian plane.The setR2{\displaystyle \mathbb {R} ^{2}} of the ordered pairs of real numbers (thereal coordinate plane), equipped with thedot product, is often calledthe Euclidean plane orstandard Euclidean plane, since every Euclidean plane isisomorphic to it.

History

[edit]
See also:Euclidean geometry § History

Books I through IV and VI ofEuclid's Elements dealt with two-dimensional geometry, developing such notions as similarity of shapes, thePythagorean theorem (Proposition 47), equality of angles andareas, parallelism, the sum of the angles in a triangle, and the three cases in which triangles are "equal" (have the same area), among many other topics.

Later, the plane was described in a so-calledCartesian coordinate system, acoordinate system that specifies eachpoint uniquely in aplane by a pair ofnumericalcoordinates, which are thesigned distances from the point to two fixedperpendicular directed lines, measured in the sameunit of length. Each reference line is called acoordinate axis or justaxis of the system, and the point where they meet is itsorigin, usually at ordered pair (0, 0). The coordinates can also be defined as the positions of theperpendicular projections of the point onto the two axes, expressed as signed distances from the origin.

The idea of this system was developed in 1637 in writings by Descartes and independently byPierre de Fermat, although Fermat also worked in three dimensions, and did not publish the discovery.[1] Both authors used a single (abscissa) axis in their treatments, with the lengths ofordinates measured along lines not-necessarily-perpendicular to that axis.[2] The concept of using a pair of fixed axes was introduced later, after Descartes'La Géométrie was translated into Latin in 1649 byFrans van Schooten and his students. These commentators introduced several concepts while trying to clarify the ideas contained in Descartes' work.[3]

Later, the plane was thought of as afield, where any two points could be multiplied and, except for 0, divided. This was known as thecomplex plane. The complex plane is sometimes called the Argand plane because it is used in Argand diagrams. These are named afterJean-Robert Argand (1768–1822), although they were first described by Danish-Norwegian land surveyor and mathematicianCaspar Wessel (1745–1818).[4] Argand diagrams are frequently used to plot the positions of thepoles andzeroes of afunction in the complex plane.

In geometry

[edit]
See also:Euclidean geometry

Coordinate systems

[edit]
Main articles:Rectangular coordinate system andPolar coordinate system
"Plane coordinates" redirects here; not to be confused withCoordinate plane.

In mathematics,analytic geometry (also called Cartesian geometry) describes every point in two-dimensional space by means of two coordinates. Two perpendicularcoordinate axes are given which cross each other at theorigin. They are usually labeledx andy. Relative to these axes, the position of any point in two-dimensional space is given by an ordered pair of real numbers, each number giving the distance of that point from theorigin measured along the given axis, which is equal to the distance of that point from the other axis.

Another widely used coordinate system is thepolar coordinate system, which specifies a point in terms of its distance from the origin and its angle relative to a rightward reference ray.

Embedding in three-dimensional space

[edit]
This section is an excerpt fromEuclidean planes in three-dimensional space.[edit]
Plane equation in normal form

InEuclidean geometry, aplane is aflat two-dimensionalsurface that extends indefinitely. Euclidean planes often arise assubspaces ofthree-dimensional spaceR3{\displaystyle \mathbb {R} ^{3}}.A prototypical example is one of a room's walls, infinitely extended and assumed infinitesimal thin.

While a pair of real numbersR2{\displaystyle \mathbb {R} ^{2}} suffices to describe points on a plane, the relationship with out-of-plane points requires special consideration for theirembedding in theambient spaceR3{\displaystyle \mathbb {R} ^{3}}.

Polytopes

[edit]
Main article:Polygon

In two dimensions, there are infinitely many polytopes: the polygons. The first few regular ones are shown below:

Convex

[edit]

TheSchläfli symbol{n}{\displaystyle \{n\}} represents aregularn-gon.

NameTriangle
(2-simplex)
Square
(2-orthoplex)
(2-cube)
PentagonHexagonHeptagonOctagon
Schläfli symbol{3}{4}{5}{6}{7}{8}
Image
NameNonagonDecagonHendecagonDodecagonTridecagonTetradecagon
Schläfli{9}{10}{11}{12}{13}{14}
Image
NamePentadecagonHexadecagonHeptadecagonOctadecagonEnneadecagonIcosagon...n-gon
Schläfli{15}{16}{17}{18}{19}{20}{n}
Image

Degenerate (spherical)

[edit]

The regularmonogon (or henagon) {1} and regulardigon {2} can be considered degenerate regular polygons and exist nondegenerately in non-Euclidean spaces like a2-sphere,2-torus, orright circular cylinder.

NameMonogonDigon
Schläfli{1}{2}
Image

Non-convex

[edit]

There exist infinitely many non-convex regular polytopes in two dimensions, whose Schläfli symbols consist of rational numbers {n/m}. They are calledstar polygons and share the samevertex arrangements of the convex regular polygons.

In general, for any natural number n, there are n-pointed non-convex regular polygonal stars with Schläfli symbols {n/m} for allm such thatm <n/2 (strictly speaking {n/m} = {n/(nm)}) andm andn arecoprime.

NamePentagramHeptagramsOctagramEnneagramsDecagram...n-agrams
Schläfli{5/2}{7/2}{7/3}{8/3}{9/2}{9/4}{10/3}{n/m}
Image 

Circle

[edit]
Main article:Circle

Thehypersphere in 2 dimensions is acircle, sometimes called a 1-sphere (S1) because it is a one-dimensionalmanifold. In a Euclidean plane, it has the length 2πr and thearea of itsinterior is

A=πr2{\displaystyle A=\pi r^{2}}

wherer{\displaystyle r} is the radius.

Other shapes

[edit]
Main article:List of two-dimensional geometric shapes

There are an infinitude of other curved shapes in two dimensions, notably including theconic sections: theellipse, theparabola, and thehyperbola.

In linear algebra

[edit]

Another mathematical way of viewing two-dimensional space is found inlinear algebra, where the idea of independence is crucial. The plane has two dimensions because the length of arectangle is independent of its width. In the technical language of linear algebra, the plane is two-dimensional because every point in the plane can be described by a linear combination of two independentvectors.

Dot product, angle, and length

[edit]
Main article:Dot product

The dot product of two vectorsA = [A1,A2] andB = [B1,B2] is defined as:[5]

AB=A1B1+A2B2{\displaystyle \mathbf {A} \cdot \mathbf {B} =A_{1}B_{1}+A_{2}B_{2}}

A vector can be pictured as an arrow. Its magnitude is its length, and its direction is the direction the arrow points. The magnitude of a vectorA is denoted byA{\displaystyle \|\mathbf {A} \|}. In this viewpoint, the dot product of two Euclidean vectorsA andB is defined by[6]

AB=ABcosθ,{\displaystyle \mathbf {A} \cdot \mathbf {B} =\|\mathbf {A} \|\,\|\mathbf {B} \|\cos \theta ,}

where θ is theangle betweenA andB.

The dot product of a vectorA by itself is

AA=A2,{\displaystyle \mathbf {A} \cdot \mathbf {A} =\|\mathbf {A} \|^{2},}

which gives

A=AA,{\displaystyle \|\mathbf {A} \|={\sqrt {\mathbf {A} \cdot \mathbf {A} }},}

the formula for theEuclidean length of the vector.

In calculus

[edit]

Gradient

[edit]

In a rectangular coordinate system, the gradient is given by

f=fxi+fyj.{\displaystyle \nabla f={\frac {\partial f}{\partial x}}\mathbf {i} +{\frac {\partial f}{\partial y}}\mathbf {j} \,.}

Line integrals and double integrals

[edit]

For somescalar fieldf :UR2R, the line integral along apiecewise smoothcurveCU is defined as

Cfds=abf(r(t))|r(t)|dt,{\displaystyle \int \limits _{C}f\,ds=\int _{a}^{b}f(\mathbf {r} (t))|\mathbf {r} '(t)|\,dt,}

wherer: [a, b] →C is an arbitrarybijectiveparametrization of the curveC such thatr(a) andr(b) give the endpoints ofC anda<b{\displaystyle a<b}.

For avector fieldF :UR2R2, the line integral along apiecewise smoothcurveCU, in the direction ofr, is defined as

CF(r)dr=abF(r(t))r(t)dt,{\displaystyle \int \limits _{C}\mathbf {F} (\mathbf {r} )\cdot \,d\mathbf {r} =\int _{a}^{b}\mathbf {F} (\mathbf {r} (t))\cdot \mathbf {r} '(t)\,dt,}

where · is thedot product andr: [a, b] →C is abijectiveparametrization of the curveC such thatr(a) andr(b) give the endpoints ofC.

Adouble integral refers to anintegral within a regionD inR2 of afunctionf(x,y),{\displaystyle f(x,y),} and is usually written as:

Df(x,y)dxdy.{\displaystyle \iint \limits _{D}f(x,y)\,dx\,dy.}

Fundamental theorem of line integrals

[edit]
Main article:Fundamental theorem of line integrals

Thefundamental theorem of line integrals says that aline integral through agradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve.

Letφ:UR2R{\displaystyle \varphi :U\subseteq \mathbb {R} ^{2}\to \mathbb {R} }. Then

φ(q)φ(p)=γ[p,q]φ(r)dr,{\displaystyle \varphi \left(\mathbf {q} \right)-\varphi \left(\mathbf {p} \right)=\int _{\gamma [\mathbf {p} ,\mathbf {q} ]}\nabla \varphi (\mathbf {r} )\cdot d\mathbf {r} ,}

withp,q the endpoints of the curve γ.

Green's theorem

[edit]
Main article:Green's theorem

LetC be a positivelyoriented,piecewise smooth,simple closed curve in aplane, and letD be the region bounded byC. IfL andM are functions of (x,y) defined on anopen region containingD and havecontinuouspartial derivatives there, then[7][8]

C(Ldx+Mdy)=D(MxLy)dxdy{\displaystyle \oint _{C}(L\,dx+M\,dy)=\iint _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\,dx\,dy}

where the path of integration along C iscounterclockwise.

In topology

[edit]

Intopology, the plane is characterized as being the uniquecontractible2-manifold.

Its dimension is characterized by the fact that removing a point from the plane leaves a space that is connected, but notsimply connected.

In graph theory

[edit]

Ingraph theory, aplanar graph is agraph that can beembedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cross each other.[9] Such a drawing is called aplane graph orplanar embedding of the graph. A plane graph can be defined as a planar graph with a mapping from every node to a point on a plane, and from every edge to aplane curve on that plane, such that the extreme points of each curve are the points mapped from its end nodes, and all curves are disjoint except on their extreme points.

See also

[edit]

References

[edit]
  1. ^"Analytic geometry".Encyclopædia Britannica (Online ed.). 2008.
  2. ^Katz, Victor J. (2009) [1993].A History of Mathematics (3rd ed.). Boston: Addison-Wesley. p. 484.ISBN 978-0-321-38700-4.
  3. ^Burton 2011, p. 374
  4. ^Wessel's memoir was presented to the Danish Academy in 1797; Argand's paper was published in 1806. (Whittaker & Watson, 1927, p. 9)
  5. ^S. Lipschutz; M. Lipson (2009).Linear Algebra (Schaum's Outlines) (4th ed.). McGraw Hill.ISBN 978-0-07-154352-1.
  6. ^M.R. Spiegel; S. Lipschutz; D. Spellman (2009).Vector Analysis (Schaum's Outlines) (2nd ed.). McGraw Hill.ISBN 978-0-07-161545-7.
  7. ^Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010,ISBN 978-0-521-86153-3
  8. ^Vector Analysis (2nd Edition), M.R. Spiegel, S. Lipschutz, D. Spellman, Schaum's Outlines, McGraw Hill (USA), 2009,ISBN 978-0-07-161545-7
  9. ^Trudeau, Richard J. (1993).Introduction to Graph Theory (Corrected, enlarged republication. ed.). New York: Dover Pub. p. 64.ISBN 978-0-486-67870-2. Retrieved8 August 2012.Thus a planar graph, when drawn on a flat surface, either has no edge-crossings or can be redrawn without them.

Works cited

[edit]
  • Burton, David M. (2011),The History of Mathematics / An Introduction (7th ed.), McGraw Hill,ISBN 978-0-07-338315-6
Dimensional spaces
Animated tesseract
Other dimensions
Polytopes andshapes
Number systems
Dimensions by number
See also
Authority control databases: NationalEdit this at Wikidata
Retrieved from "https://en.wikipedia.org/w/index.php?title=Euclidean_plane&oldid=1276088437"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp