Oriented Metric-Affine Plane --- Part I

Jaroslaw Zajkowski

Warsaw University, Bialystok

Summary.

We present (in Euclidean and Minkowskian geometry) definitions and some properties of oriented orthogonality relation. Next we consider consistence Euclidean space and consistence Minkowskian space.

MML Identifier: ANALORT

Contents (PDF format)

Bibliography

[1] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.

[2] Krzysztof Hryniewiecki. Basic properties of real numbers. Journal of Formalized Mathematics, 1, 1989.

[3] Henryk Oryszczyszyn and Krzysztof Prazmowski. Analytical metric affine spaces and planes. Journal of Formalized Mathematics, 2, 1990.

[4] Henryk Oryszczyszyn and Krzysztof Prazmowski. Analytical ordered affine spaces. Journal of Formalized Mathematics, 2, 1990.

[5] Henryk Oryszczyszyn and Krzysztof Prazmowski. A construction of analytical ordered trapezium spaces. Journal of Formalized Mathematics, 2, 1990.

[6] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.

[7] Wojciech A. Trybulec. Vectors in real linear space. Journal of Formalized Mathematics, 1, 1989.

[8] Edmund Woronowicz. Relations defined on sets. Journal of Formalized Mathematics, 1, 1989.