Еуклидов простор — разлика између измена

С Википедије, слободне енциклопедије
Садржај обрисан Садржај додат
.
.
ознака: везе до вишезначних одредница
Ред 1: Ред 1:
{{short description|Фундаментални простор геометрије}}
{{short description|Фундаментални простор геометрије}}{{rut}}
[[Датотека:Coord system CA 0.svg|thumb|right|250px|Тачка у тродимензионалном еуклидском простору може се лоцирати по три координате.]]
[[Датотека:Coord system CA 0.svg|thumb|right|250px|Тачка у тродимензионалном еуклидском простору може се лоцирати по три координате.]]


'''Еуклидов простор''' је фундаментални [[простор]] [[classical geometry|класичне геометрије]] чија се својства описују [[аксиома]]ма [[Апсолутна геометрија|апсолутне геометрије]] и [[Еуклид]]овим [[постулат]]ом (аксиомом) о паралелним правама.
'''Еуклидов простор''' је фундаментални [[простор]] [[classical geometry|класичне геометрије]] чија се својства описују [[аксиома]]ма [[Апсолутна геометрија|апсолутне геометрије]] и [[Еуклид]]овим [[постулат]]ом (аксиомом) о паралелним правама. Originally, that is, in [[Euclid's Elements|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 (mathematics)|dimension]],{{sfn|Solomentsev|2001}} including the three-dimensional space and the ''[[Euclidean plane]]'' (dimension two). The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in [[physics]] and modern mathematics.

Ancient [[History of geometry#Greek geometry|Greek geometers]] introduced Euclidean space for modeling the physical space. Their work were collected by the [[Greek mathematics|ancient Greek]] mathematician [[Euclid]] in its ''Elements'',{{sfn|Ball|1960|pages =50–62}} with the great innovation of ''[[mathematical proof|proving]]'' all properties of the space as [[theorem]]s, by starting from a few fundamental properties, called ''[[postulate]]s'', which either were considered as evident (for example, there is exactly one [[straight line]] passing through two points), or seemed impossible to prove ([[parallel postulate]]).

After the introduction at the end of 19th century of [[non-Euclidean geometries]], the old postulates were re-formalized to define Euclidean spaces through [[axiomatic theory]]. Another definition of Euclidean spaces by means of [[vector space]]s and [[linear algebra]] has been shown to be equivalent to the axiomatic definition. It is this definition that is more commonly used in modern mathematics, and detailed in this article.{{sfn|Berger|1987}}


Општије речено, Еуклидов простор се назива m-димензионални [[метрички простор]],{{sfn|Solomentsev|2001}} у којем је могуће увести [[Декартов координатни систем]] и тада се метрика дефинише на следећи начин:{{sfn|Ball|1960|pages =50–62}} растојање између тачке M са координатама <math>(x_1,x_2,...,x_m)</math> и тачке M'<math>(x_1',x_2',...,x_m')</math> израчунава се по формули:
Општије речено, Еуклидов простор се назива m-димензионални [[метрички простор]],{{sfn|Solomentsev|2001}} у којем је могуће увести [[Декартов координатни систем]] и тада се метрика дефинише на следећи начин:{{sfn|Ball|1960|pages =50–62}} растојање између тачке M са координатама <math>(x_1,x_2,...,x_m)</math> и тачке M'<math>(x_1',x_2',...,x_m')</math> израчунава се по формули:


: <math>\rho =\overline{MM'}=\sqrt{(x_1-x_1')^2+(x_2-x_2')^2}.</math>
: <math>\rho =\overline{MM'}=\sqrt{(x_1-x_1')^2+(x_2-x_2')^2}.</math>

== Дефиниција ==
=== Историја дефиниције ===

Euclidean space was introduced by [[Greek mathematics|ancient Greeks]] as an abstraction of our physical space. Their great innovation, appearing in [[Euclid's Elements|Euclid's ''Elements'']] was to build and ''[[proof (mathematics)|prove]]'' all geometry by starting from a few very basic properties, which are abstracted from the physical world, and cannot be mathematically proved because of the lack of more basic tools. These properties are called [[postulate]]s, or [[axiom]]s in modern language. This way of defining Euclidean space is still in use under the name of [[synthetic geometry]].

In 1637, [[René Descartes]] introduced [[Cartesian coordinates]] and showed that this allows reducing geometric problems to algebraic computations with numbers. This reduction of geometry to [[algebra]] was a major change of point of view, as, until then, the [[real number]]s were defined in terms of lengths and distances.

Euclidean geometry was not applied in spaces of dimension more than three until the 19th century. [[Ludwig Schläfli]] generalized Euclidean geometry to spaces of dimension {{mvar|n}}, using both synthetic and algebraic methods, and discovered all of the regular [[polytope]]s (higher-dimensional analogues of the [[Platonic solid]]s) that exist in Euclidean spaces of any dimension.{{sfn|Coxeter|1973|}}

Despite the wide use of Descartes' approach, which was called [[analytic geometry]], the definition of Euclidean space remained unchanged until the end of 19th century. The introduction of abstract [[vector space]]s allowed their use in defining Euclidean spaces with a purely algebraic definition. This new definition has been shown to be equivalent to the classical definition in terms of geometric axioms. It is this algebraic definition that is now most often used for introducing Euclidean spaces.

===Motivation of the modern definition===
One way to think of the Euclidean plane is as a [[set (mathematics)|set]] of [[point (geometry)|point]]s satisfying certain relationships, expressible in terms of distance and angles. For example, there are two fundamental operations (referred to as [[motion (geometry)|motions]]) on the plane. One is [[translation (geometry)|translation]], which means a shifting of the plane so that every point is shifted in the same direction and by the same distance. The other is [[rotation (mathematics)|rotation]] around a fixed point in the plane, in which all points in the plane turn around that fixed point through the same angle. One of the basic tenets of Euclidean geometry is that two figures (usually<!-- not always --> considered as [[subset]]s) of the plane should be considered equivalent ([[congruence (geometry)|congruent]]) if one can be transformed into the other by some sequence of translations, rotations and [[reflection (mathematics)|reflection]]s (see [[#Euclidean group|below]]).

In order to make all of this mathematically precise, the theory must clearly define what is a Euclidean space, and the related notions of distance, angle, translation, and rotation. Even when used in [[physics|physical]] theories, Euclidean space is an [[abstraction]] detached from actual physical locations, specific [[frame of reference|reference frames]], measurement instruments, and so on. A purely mathematical definition of Euclidean space also ignores questions of [[unit of length|units of length]] and other [[dimensional analysis|physical dimensions]]: the distance in a "mathematical" space is a [[number]], not something expressed in inches or metres.

The standard way to mathematically define a Euclidean space, as carried out in the remainder of this article, is to define a Euclidean space as a set of points on which [[group action (mathematics)|acts]] a [[real vector space]], the ''space of translations'' which is equipped with an [[inner product space|inner product]].{{sfn|Solomentsev|2001}} The action of translations makes the space an [[affine space]], and this allows defining lines, planes, subspaces, dimension, and [[parallelism (geometry)|parallelism]]. The inner product allows defining distance and angles.

The set <math>\R^n</math> of {{mvar|n}}-tuples of real numbers equipped with the [[dot product]] is a Euclidean space of dimension {{mvar|n}}. Conversely, the choice of a point called the ''origin'' and an [[orthonormal basis]] of the space of translations is equivalent with defining an [[isomorphism]] between a Euclidean space of dimension {{mvar|n}} and <math>\R^n</math> viewed as a Euclidean space.

It follows that everything that can be said about a Euclidean space can also be said about <math>\R^n.</math> Therefore, many authors, especially at elementary level, call <math>\R^n</math> the ''standard Euclidean space'' of dimension {{mvar|n}},{{sfn|Berger|1987|loc=Section 9.1}} or simply ''the'' Euclidean space of dimension {{mvar|n}}.

A reason for introducing such an abstract definition of Euclidean spaces, and for working with it instead of <math>\R^n</math> is that it is often preferable to work in a ''coordinate-free'' and ''origin-free'' manner (that is, without choosing a preferred basis and a preferred origin). Another reason is that there is no origin nor any basis in the physical world.


== Види још ==
== Види још ==
Ред 23: Ред 51:
* {{Cite book|title=Regular Polytopes|title-link=Regular Polytopes (book)|last=Coxeter|first=H.S.M.|publisher=Dover|year=1973|edition=3rd|location=New York|quote="Schläfli ... discovered them before 1853 -- a time when Cayley, Grassman and Möbius were the only other people who had ever conceived of the possibility of geometry in more than three dimensions."|author-link=Harold Scott MacDonald Coxeter|orig-year=1948}}
* {{Cite book|title=Regular Polytopes|title-link=Regular Polytopes (book)|last=Coxeter|first=H.S.M.|publisher=Dover|year=1973|edition=3rd|location=New York|quote="Schläfli ... discovered them before 1853 -- a time when Cayley, Grassman and Möbius were the only other people who had ever conceived of the possibility of geometry in more than three dimensions."|author-link=Harold Scott MacDonald Coxeter|orig-year=1948}}
* {{springer|title=Euclidean space|id=p/e036380|first=E.D.|last=Solomentsev}}
* {{springer|title=Euclidean space|id=p/e036380|first=E.D.|last=Solomentsev}}
* {{Citation|author=Berger, Marcel|chapter=Affine spaces|title=Problems in Geometry|publisher=Springer-Verlag|year=1984|isbn=978-0-387-90971-4|chapter-url=https://books.google.com/books?id=VXRppKJwpaAC&pg=PA11}}
* {{Citation | last1=Berger | first1=Marcel | author1-link=Marcel Berger | title=Geometry I | publisher=Springer | location=Berlin | isbn= 3-540-11658-3 | year=1987}}
* {{Citation | last1=Cameron | first1=Peter J. | author-link=Peter Cameron (mathematician) | title=Projective and polar spaces | url=http://www.maths.qmul.ac.uk/~pjc/pps/ | publisher=Queen Mary and Westfield College School of Mathematical Sciences | location=London | series=QMW Maths Notes | mr=1153019 | year=1991 | volume=13}}
* {{Citation | last1=Coxeter | first1=Harold Scott MacDonald | author1-link=Harold Scott MacDonald Coxeter | title=Introduction to Geometry | publisher=[[John Wiley & Sons]] | location=New York | edition=2nd | isbn=978-0-471-50458-0 | year=1969 | mr=123930}}
* {{cite book |last=Hartshorne |first=Robin |author-link=Robin Hartshorne |title=Algebraic Geometry |year=1977 |publisher=[[Springer Science+Business Media|Springer-Verlag]] |isbn=978-0-387-90244-9 |zbl=0367.14001|title-link=Algebraic Geometry (book) }}
* {{citation|last1=Nomizu|first1=K.|author-link=Katsumi Nomizu|last2=Sasaki|first2=S.|author-link2=Shigeo Sasaki|title=Affine Differential Geometry|publisher=Cambridge University Press|year=1994|edition=New|isbn=978-0-521-44177-3|url-access=registration|url=https://archive.org/details/affinedifferenti0000nomi}}
* {{citation | last1=Snapper|first1=Ernst|author-link=Ernst Snapper|last2=Troyer|first2=Robert J. | title = Metric Affine Geometry | publisher=Dover Publications | year=1989|edition=Dover edition, first published in 1989|isbn=0-486-66108-3}}
* {{Citation|author=Reventós Tarrida, Agustí|chapter=Affine spaces|title=Affine Maps, Euclidean Motions and Quadrics|publisher=Springer|year=2011|isbn=978-0-85729-709-9|url=https://books.google.com/books?id=UZvxUBzraGAC&pg=PA1}}
* [[Heinrich Guggenheimer]] (1977) ''Applicable Geometry'',page 7, Krieger, New York.
* {{citation | last = Stolfi | first = Jorge | title = Oriented Projective Geometry | publisher = [[Academic Press]] | date = 1991 | isbn = 978-0-12-672025-9 }}<br />From original [[Stanford]] Ph.D. dissertation, ''Primitives for Computational Geometry'', available as [http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-36.html DEC SRC Research Report 36].
* {{citation|title=Precalculus: A Functional Approach to Graphing and Problem Solving|first=Karl|last=Smith|publisher=Jones & Bartlett Publishers|year=2013|isbn=978-0-7637-5177-7|page=8|url=https://books.google.com/books?id=ZUJbVQN37bIC&pg=PA8}}
* {{citation|title=Precalculus: A Problems-Oriented Approach|first=David|last=Cohen|edition=6th|publisher=Cengage Learning|year=2004|isbn=978-0-534-40212-9|page=698|url=https://books.google.com/books?id=_6ukev29gmgC&pg=PA698}}
* {{citation|title=College Trigonometry|first1=Richard N.|last1=Aufmann|first2=Vernon C.|last2=Barker|first3=Richard D.|last3=Nation|edition=6th|publisher=Cengage Learning|year=2007|isbn=978-1-111-80864-8|page=17|url=https://books.google.com/books?id=kZ8HAAAAQBAJ&pg=PA17}}
* {{citation|title=Complex Numbers from A to ... Z|first1=Titu|last1=Andreescu|first2=Dorin|last2=Andrica|publisher=Birkhäuser|year=2014|edition=2nd|isbn=978-0-8176-8415-0|contribution=3.1.1 The Distance Between Two Points|pages=57–58}}
* {{citation|title=Geometry: The Language of Space and Form|series=Facts on File math library|first=John|last=Tabak|publisher=Infobase Publishing|year=2014|isbn=978-0-8160-6876-0|page=150|url=https://books.google.com/books?id=r0HuPiexnYwC&pg=PA150}}
* {{citation|title=Metric Spaces|series=Springer Undergraduate Mathematics Series|first=Mícheál|last=Ó Searcóid|publisher=Springer|year=2006|isbn=978-1-84628-627-8|contribution=2.7 Distances from Sets to Sets|pages=29–30|url=https://books.google.com/books?id=aP37I4QWFRcC&pg=PA29}}
* {{citation|last1=Ballantine|first1=J. P.|last2=Jerbert|first2=A. R.|date=April 1952|department=Classroom notes|doi=10.2307/2306514|issue=4|journal=[[American Mathematical Monthly]]|jstor=2306514|pages=242–243|title=Distance from a line, or plane, to a point|volume=59}}
* {{citation|last=Bell|first=Robert J. T.|author-link=Robert J. T. Bell|edition=2nd|contribution=49. The shortest distance between two lines|contribution-url=https://archive.org/details/elementarytreati00bell/page/56/mode/2up|pages=57–61|publisher=Macmillan|title=An Elementary Treatise on Coordinate Geometry of Three Dimensions|year=1914}}
* {{citation|title=Easy as π?: An Introduction to Higher Mathematics|first=Oleg A.|last=Ivanov|publisher=Springer|year=2013|isbn=978-1-4612-0553-1|page=140|url=https://books.google.com/books?id=reALBwAAQBAJ&pg=PA140}}
* {{citation|title=The Way of Analysis|first=Robert S.|last=Strichartz|publisher=Jones & Bartlett Learning|year=2000|isbn=978-0-7637-1497-0|page=357|url=https://books.google.com/books?id=Yix09oVvI1IC&pg=PA357}}
* {{citation|title=Rays, Waves, and Scattering: Topics in Classical Mathematical Physics|series=Princeton Series in Applied Mathematics|first=John A.|last=Adam|publisher=Princeton University Press|year=2017|isbn=978-1-4008-8540-4|pages=26–27|chapter-url=https://books.google.com/books?id=DnygDgAAQBAJ&pg=PA26|chapter=Chapter 2. Introduction to the "Physics" of Rays|doi=10.1515/9781400885404-004}}
* {{citation|title=Euclidean Distance Geometry: An Introduction|series=Springer Undergraduate Texts in Mathematics and Technology|first1=Leo|last1=Liberti|first2=Carlile|last2=Lavor|publisher=Springer|year=2017|isbn=978-3-319-60792-4|page=xi|url=https://books.google.com/books?id=jOQ2DwAAQBAJ&pg=PP10}}<
* {{citation|title=Basic Statistics in Multivariate Analysis|series=Pocket Guide to Social Work Research Methods|first1=Karen A.|last1=Randolph|author1-link=Karen Randolph|first2=Laura L.|last2=Myers|publisher=Oxford University Press|year=2013|isbn=978-0-19-976404-4|page=116|url=https://books.google.com/books?id=WgSnudjEsrMC&pg=PA116}}
* {{citation | last = Csiszár | first = I. | author-link = Imre Csiszár | doi = 10.1214/aop/1176996454 | journal = [[Annals of Probability]] | jstor = 2959270 | mr = 365798 | pages = 146–158 | title = {{mvar|I}}-divergence geometry of probability distributions and minimization problems | volume = 3 | year = 1975}}
* {{citation |author=Moler, Cleve and Donald Morrison |title=Replacing Square Roots by Pythagorean Sums |journal=IBM Journal of Research and Development |volume=27 |issue=6 |pages=577–581 |year=1983 |url=http://www.research.ibm.com/journal/rd/276/ibmrd2706P.pdf |doi=10.1147/rd.276.0577 | citeseerx = 10.1.1.90.5651 }}
* {{citation|title=Essentials of Multivariate Data Analysis|first=Neil H.|last=Spencer|publisher=CRC Press|year=2013|isbn=978-1-4665-8479-2|contribution=5.4.5 Squared Euclidean Distances|page=95|contribution-url=https://books.google.com/books?id=EG3SBQAAQBAJ&pg=PA95}}
* {{citation|last1=Mielke|first1=Paul W.|last2=Berry|first2=Kenneth J.|editor1-last=Brown|editor1-first=Timothy J.|editor2-last=Mielke|editor2-first=Paul W. Jr.|contribution=Euclidean distance based permutation methods in atmospheric science|doi=10.1007/978-1-4757-6581-6_2|pages=7–27|publisher=Springer|title=Statistical Mining and Data Visualization in Atmospheric Sciences|year=2000}}
* {{citation|title=Maxima and Minima with Applications: Practical Optimization and Duality|volume=51|series=Wiley Series in Discrete Mathematics and Optimization|first=Wilfred|last=Kaplan|publisher=John Wiley & Sons|year=2011|isbn=978-1-118-03104-9|page=61|url=https://books.google.com/books?id=bAo6KNZcUP0C&pg=PA61}}
* {{citation|title=Euclidean Distance Matrices and Their Applications in Rigidity Theory|first=Abdo Y.|last=Alfakih|publisher=Springer|year=2018|isbn=978-3-319-97846-8|page=51|url=https://books.google.com/books?id=woJyDwAAQBAJ&pg=PA51}}
{{refend}}
{{refend}}


== Спољашње везе ==
{{клица-математика}}
* {{Commons category-inline|Euclidean space}}

{{димензионалност}}
{{димензионалност}}
{{нормативна контрола}}
{{нормативна контрола}}

Верзија на датум 8. јул 2022. у 02:20

Тачка у тродимензионалном еуклидском простору може се лоцирати по три координате.

Еуклидов простор је фундаментални простор класичне геометрије чија се својства описују аксиомама апсолутне геометрије и Еуклидовим постулатом (аксиомом) о паралелним правама. Originally, that is, 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,[1] including the three-dimensional space and the Euclidean plane (dimension two). The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

Ancient Greek geometers introduced Euclidean space for modeling the physical space. Their work were collected by the ancient Greek mathematician Euclid in its Elements,[2] with the great innovation of proving all properties of the space as theorems, by starting from a few fundamental properties, called postulates, which either were considered as evident (for example, there is exactly one straight line passing through two points), or seemed impossible to prove (parallel postulate).

After the introduction at the end of 19th century of non-Euclidean geometries, the old postulates were re-formalized to define Euclidean spaces through axiomatic theory. Another definition of Euclidean spaces by means of vector spaces and linear algebra has been shown to be equivalent to the axiomatic definition. It is this definition that is more commonly used in modern mathematics, and detailed in this article.[3]

Општије речено, Еуклидов простор се назива m-димензионални метрички простор,[1] у којем је могуће увести Декартов координатни систем и тада се метрика дефинише на следећи начин:[2] растојање између тачке M са координатама и тачке M' израчунава се по формули:

Дефиниција

Историја дефиниције

Euclidean space was introduced by ancient Greeks as an abstraction of our physical space. Their great innovation, appearing in Euclid's Elements was to build and prove all geometry by starting from a few very basic properties, which are abstracted from the physical world, and cannot be mathematically proved because of the lack of more basic tools. These properties are called postulates, or axioms in modern language. This way of defining Euclidean space is still in use under the name of synthetic geometry.

In 1637, René Descartes introduced Cartesian coordinates and showed that this allows reducing geometric problems to algebraic computations with numbers. This reduction of geometry to algebra was a major change of point of view, as, until then, the real numbers were defined in terms of lengths and distances.

Euclidean geometry was not applied in spaces of dimension more than three until the 19th century. Ludwig Schläfli generalized Euclidean geometry to spaces of dimension n, using both synthetic and algebraic methods, and discovered all of the regular polytopes (higher-dimensional analogues of the Platonic solids) that exist in Euclidean spaces of any dimension.[4]

Despite the wide use of Descartes' approach, which was called analytic geometry, the definition of Euclidean space remained unchanged until the end of 19th century. The introduction of abstract vector spaces allowed their use in defining Euclidean spaces with a purely algebraic definition. This new definition has been shown to be equivalent to the classical definition in terms of geometric axioms. It is this algebraic definition that is now most often used for introducing Euclidean spaces.

Motivation of the modern definition

One way to think of the Euclidean plane is as a set of points satisfying certain relationships, expressible in terms of distance and angles. For example, there are two fundamental operations (referred to as motions) on the plane. One is translation, which means a shifting of the plane so that every point is shifted in the same direction and by the same distance. The other is rotation around a fixed point in the plane, in which all points in the plane turn around that fixed point through the same angle. One of the basic tenets of Euclidean geometry is that two figures (usually considered as subsets) of the plane should be considered equivalent (congruent) if one can be transformed into the other by some sequence of translations, rotations and reflections (see below).

In order to make all of this mathematically precise, the theory must clearly define what is a Euclidean space, and the related notions of distance, angle, translation, and rotation. Even when used in physical theories, Euclidean space is an abstraction detached from actual physical locations, specific reference frames, measurement instruments, and so on. A purely mathematical definition of Euclidean space also ignores questions of units of length and other physical dimensions: the distance in a "mathematical" space is a number, not something expressed in inches or metres.

The standard way to mathematically define a Euclidean space, as carried out in the remainder of this article, is to define a Euclidean space as a set of points on which acts a real vector space, the space of translations which is equipped with an inner product.[1] The action of translations makes the space an affine space, and this allows defining lines, planes, subspaces, dimension, and parallelism. The inner product allows defining distance and angles.

The set of n-tuples of real numbers equipped with the dot product is a Euclidean space of dimension n. Conversely, the choice of a point called the origin and an orthonormal basis of the space of translations is equivalent with defining an isomorphism between a Euclidean space of dimension n and viewed as a Euclidean space.

It follows that everything that can be said about a Euclidean space can also be said about Therefore, many authors, especially at elementary level, call the standard Euclidean space of dimension n,[5] or simply the Euclidean space of dimension n.

A reason for introducing such an abstract definition of Euclidean spaces, and for working with it instead of is that it is often preferable to work in a coordinate-free and origin-free manner (that is, without choosing a preferred basis and a preferred origin). Another reason is that there is no origin nor any basis in the physical world.

Види још

Референце

  1. ^ а б в Solomentsev 2001.
  2. ^ а б Ball 1960, стр. 50–62.
  3. ^ Berger 1987. sfn грешка: више циљева (2×): CITEREFBerger1987 (help)
  4. ^ Coxeter 1973.
  5. ^ Berger 1987, Section 9.1. sfn грешка: више циљева (2×): CITEREFBerger1987 (help)

Литература

Спољашње везе