机构:
Shinshu Univ, Nagano, JapanShinshu Univ, Nagano, Japan
Kubo, Akihiro
[1
]
机构:
[1] Shinshu Univ, Nagano, Japan
来源:
FORMALIZED MATHEMATICS
|
2005年
/
13卷
/
03期
关键词:
D O I:
暂无
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
In the paper we introduce basic properties of lines in the plane on this space. Lines and planes are expressed by the vector equation and are the image of R and R-2. By this, we can say that the properties of the classic Euclid geometry are satisfied also in R-n as we know them intuitively. Next, we define the metric between the point and the line of this space.
机构:
Inst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, MexicoInst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, Mexico
Gonzalez-Ayala, Julian
Perez-Oregon, Jennifer
论文数: 0引用数: 0
h-index: 0
机构:
Inst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, MexicoInst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, Mexico
Perez-Oregon, Jennifer
Cordero, Ruben
论文数: 0引用数: 0
h-index: 0
机构:
Inst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, MexicoInst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, Mexico
Cordero, Ruben
Angulo-Brown, Fernando
论文数: 0引用数: 0
h-index: 0
机构:
Inst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, MexicoInst Politecn Nacl, Dept Fis, Escuela Super Fis & Matemat, Mexico City 07738, DF, Mexico