FORMALIZED MATHEMATICS
Vol.2, No. 4, September–October1991
Universit´e Catholique de Louvain
The Euclidean Space
Agata Darmochwa l
Warsaw University
Bia l ystok
Summary. The general definitionof Euclidean Space.
MML Identifier:EUCLID .
The papers [14],[6],[9],[8],[12],[1],[5],[10],[3],[13],[4],[15],[16],[7],[11],and [2]provide the notation and terminology for this paper. In the sequel k , n denote natural numbers and r denotes a real number. Let us consider n . The and is definedas functor R n yields a non-empty set of finitesequences of
follows:
(Def.1)R n =n .
In the sequel x will denote a finitesequence of elements of . The function ||from into is definedas follows:
(Def.2)for every r holds ||(r ) =|r |.
Let us consider x . The functor |x |yields a finitesequence of elements of
and is definedas follows:
(Def.3)|x |=||·x .
Let us consider n . The functor 0, ... , 0 yields a finitesequence of elements of and is definedby:Let us consider n . The functor 0, ... , 0 yields a finitesequence of elements of and is definedby:
(Def.4) 0, ... , 0 =n −→0qua a real number . n n
Let us consider n . Then 0, ... , 0 is an element of R n .
In the sequel x , x 1, x 2, y denote elements of R n . One can prove the following proposition
(1)x is an element of n . n
601c 1991Fondation Philippe le Hodey
ISSN 0777–4028
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...
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 ...
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 ...
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 ...
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 ...
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 ...
Hausdorff operators on Euclidean spaces
App1.Math.J.Chinese Univ 2013,28(4):548—564 Hausdorf operators on Euclidean spaces CHEN Jie—cheng FAN Da—shan WANG Si—lei。 Dedicated to ...
Lines in n-dimensional Euclidean spaces
Lines in n-dimensional Euclidean spaces Summary. In this paper, we define the line of n-dimensional Euclidian space and we introduce basic properties of...
Minimal Surfaces in the Four-Dimensional Euclidean Space
Minimal Surfaces in the Four-Dimensional Euclidean Space We prove that the Gauss curvature and the curvature of the normal connection of any minimal ...
Frame formalism for the N-dimensional quantum Euclidean spaces
Frame formalism for the N-dimensional quantum Euclidean spaces We sketch our recent application of a non-commutative version of the Cartan `moving-frame'...
Word文档免费下载：