当前位置:文档之家 > The Euclidean Space

The Euclidean Space

FORMALIZEDMATHEMATICS

Vol.2,No.4,September–October1991

Universit´eCatholiquedeLouvain

TheEuclideanSpace

AgataDarmochwa󰀗l

WarsawUniversity

Bia󰀗lystok

Summary.ThegeneraldefinitionofEuclideanSpace.

MMLIdentifier:EUCLID.

Thepapers[14],[6],[9],[8],[12],[1],[5],[10],[3],[13],[4],[15],[16],[7],[11],and[2]providethenotationandterminologyforthispaper.Inthesequelk,ndenotenaturalnumbersandrdenotesarealnumber.Letusconsidern.TheandisdefinedasfunctorRnyieldsanon-emptysetoffinitesequencesof

follows:

(Def.1)Rn=n.

Inthesequelxwilldenoteafinitesequenceofelementsof.Thefunction||fromintoisdefinedasfollows:

(Def.2)foreveryrholds||(r)=|r|.

Letusconsiderx.Thefunctor|x|yieldsafinitesequenceofelement
sof

Letusconsiderx.Thefunctor|x|yieldsafinitesequenceofelementsof

andisdefinedasfollows:

(Def.3)|x|=||·x.

Letusconsidern.Thefunctor󰀊0,...,0󰀋yieldsafinitesequenceofelementsofandisdefinedby:

(Def.4)󰀊0,...,0󰀋=n−→0quaarealnumber.󰀄n󰀆󰀄n󰀆

Letusconsidern.Then󰀊0,...,0󰀋isanelementofRn.

Inthesequelx,x1,x2,ydenoteelementsofRn.Onecanprovethefollowingproposition

(1)xisanelementofn.󰀄n󰀆

601c󰀁1991FondationPhilippeleHodey

ISSN0777–4028

下载Word文档免费下载:

The Euclidean Space下载

(共5页)

TOP相关主题

Summary. The general definition of Euclidean Space.

of Bia?ystok The Euclidean Space Agata Darmochwa? Warsaw University Bia?ystok Summary. The general de?nition of Euclidean Space. MML Identi?er: EUCLID...

On Indefinite Special Lagrangian Submanifolds in Indefinite Complex Euclidean Spaces

On Indefinite Special Lagrangian Submanifolds in Indefinite Complex Euclidean Spaces In this paper, we show that the calibrated method can also be used to...

On the Theory of Surfaces in the Four-dimensional Euclidean Space

On the Theory of Surfaces in the Four-dimensional Euclidean Space On the Theory of Surfaces in the Four-dimensional Euclidean SpaceOn the Theory of ...

Generalizations of Euler Inequality in the n-dimensional Euclidean Space

REMARKS ON THE NONL... 5人阅读 12页 ¥2.00 ON SPACELIKE AUSTER... 5人阅读 11页 ¥2.00 NONEXISTENCE OF PSE... 1人阅读 8页 ¥2.00 ...

Minimal Surfaces in Euclidean Space Lecture Notes, UAB, Spring

Minimal Surfaces in Euclidean Space Lecture Notes, UAB, SpringMinimal Surfaces in Euclidean Space Lecture Notes, UAB, Spring隐藏>> Minimal Surfaces in ...

Measured Distance Euclidean Space Geometric Distance

Measured Distance Euclidean Space Geometric Distance We propose a new approach to the network distance (roundtrip transmission and propagation delay) ...

ON SPACELIKE AUSTERE SUBMANIFOLDS IN PSEUDO-EUCLIDEAN SPACE

ON SPACELIKE AUSTERE SUBMANIFOLDS IN PSEUDO-EUCLIDEAN SPACE_专业资料。 ACTA ATHEMATIMCA SCIENTIA Vb1 e..SrB 31 I hi oentsnt,wegneaieBrn ...

A Covariance Approximation on Euclidean Space for Visual Tracking

A Covariance Approximation on Euclidean Space for Visual Tracking Stefan Kluckner, Thomas Mauthner, and Horst Bischof Institute for Computer Graphics and Vision...

Hausdorff operators on Euclidean spaces

Hausdorff operators on Euclidean spaces_数学_自然科学_专业资料 暂无评价|0人阅读|0次下载 Hausdorff operators on Euclidean spaces_数学_自然科学_专业资料。App1...

L1calculus on Euclidean space

Ask! Euclidean Space 1.1 Definition: Euclidean 3-Space R3 is the set of all ordered triples of real numbers. Such a triple p=(p1,p2,p3) is ...