当前位置:文档之家 > 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|yieldsafinitese
quenceofelementsof

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.

Summary. The general definition of Euclidean Space. the notation and terminology for this paper. In this paper k, n denote natural numbers and r ...

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) ...

Gauge Model With Extended Field Transformations in Euclidean Space

更多>>An SO(4) gauge invariant model with extended field transformations is examined in four dimensional Euclidean space. The gauge field is $(A^\mu)^...

On the rigidity theorems for Lagrangian translating solitons in pseudo-Euclidean space II

On the rigidity theorems for Lagrangian translating solitons in pseudo-Euclidean space II_教育学/心理学_人文社科_专业资料。International Journal of Mathematics...

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 ...

Let F be a framework in the Euclidean d-space E

Key Words: In nitesimal exibility, exible polyhedra, octahedra MSC 1994: 53A17 1 Introduction Let F be a framework in the Euclidean d-space E with ...

Minimal Surfaces in Euclidean Space Lecture Notes, UAB, Spring

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

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 ...

Hausdorff operators on Euclidean spaces

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

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...