In the projective plane, four projectively independent points form a projective basis
In mathematics, a projective basis is a set of points in a -dimensional projective space , each of which is projectively independent . Projective bases are used in projective geometry to characterize projectivities and to define projective coordinates .
n
+
2
{\ displaystyle n + 2}
n
{\ displaystyle n}
n
+
1
{\ displaystyle n + 1}
definition
A - tuple of points of a projective space over a - vector space is called projectively independent if one of the following equivalent conditions is met:
(
n
+
1
)
{\ displaystyle (n + 1)}
(
P
0
,
...
P
n
)
{\ displaystyle (P_ {0}, \ ldots P_ {n})}
P
(
V
)
{\ displaystyle P (V)}
K
{\ displaystyle K}
V
{\ displaystyle V}
There are linearly independent vectors with for .
v
0
,
...
,
v
n
∈
V
{\ displaystyle v_ {0}, \ ldots, v_ {n} \ in V}
P
i
=
K
v
i
{\ displaystyle P_ {i} = K \, v_ {i}}
i
=
0
,
...
,
n
{\ displaystyle i = 0, \ ldots, n}
Each - tuple of vectors from with for is linearly independent.
(
n
+
1
)
{\ displaystyle (n + 1)}
(
v
0
,
...
,
v
n
)
{\ displaystyle (v_ {0}, \ ldots, v_ {n})}
V
{\ displaystyle V}
P
i
=
K
v
i
{\ displaystyle P_ {i} = K \, v_ {i}}
i
=
0
,
...
,
n
{\ displaystyle i = 0, \ ldots, n}
The following applies to the dimension of the connecting space of the points .
dim
(
P
0
∨
P
1
∨
...
∨
P
n
)
=
n
{\ displaystyle \ dim (P_ {0} \ vee P_ {1} \ vee \ ldots \ vee P_ {n}) = n}
A - tuples of points of a projective space is projective base of the space, if ever points are projectively independent. It then applies .
(
n
+
2
)
{\ displaystyle (n + 2)}
(
P
0
,
...
P
n
+
1
)
{\ displaystyle (P_ {0}, \ ldots P_ {n + 1})}
n
+
1
{\ displaystyle n + 1}
dim
P
(
V
)
=
n
{\ displaystyle \ dim P (V) = n}
Special cases
n
=
1
{\ displaystyle n = 1}
: three points on a projective line form a projective base if and only if they are different in pairs.
n
=
2
{\ displaystyle n = 2}
: four points on a projective plane form a projective base if and only if no three of them lie on a straight line. The four points define a complete square .
n
=
3
{\ displaystyle n = 3}
: five points in a three-dimensional projective space form a projective base if and only if no four of them lie in one plane.
Standard projective base
The standard projective basis in standard projective space consists of the points generated
by the standard basis vectors of the coordinate space
(
E.
0
,
...
,
E.
n
+
1
)
{\ displaystyle (E_ {0}, \ ldots, E_ {n + 1})}
K
P
n
{\ displaystyle KP ^ {n}}
e
0
,
...
,
e
n
{\ displaystyle e_ {0}, \ ldots, e_ {n}}
K
n
+
1
{\ displaystyle K ^ {n + 1}}
E.
i
=
K
e
i
,
i
=
0
,
...
,
n
{\ displaystyle E_ {i} = K \, e_ {i}, ~ i = 0, \ ldots, n}
,
along with the unit point
E.
n
+
1
=
K
(
e
0
+
...
+
e
n
)
{\ displaystyle E_ {n + 1} = K \, \ left (e_ {0} + \ ldots + e_ {n} \ right)}
.
In homogeneous coordinates arise, for example the following standard projective bases:
In the projective straight line over a body , the points and form the projective standard basis.
K
P
1
{\ displaystyle KP ^ {1}}
K
{\ displaystyle K}
3
{\ displaystyle 3}
[
1
:
0
]
,
[
0
:
1
]
{\ displaystyle \ left [1: 0 \ right], \ left [0: 1 \ right]}
[
1
:
1
]
{\ displaystyle \ left [1: 1 \ right]}
In the projective plane above a body , the points and form the projective standard base.
K
P
2
{\ displaystyle KP ^ {2}}
K
{\ displaystyle K}
4th
{\ displaystyle 4}
[
1
:
0
:
0
]
,
[
0
:
1
:
0
]
,
[
0
:
0
:
1
]
{\ displaystyle \ left [1: 0: 0 \ right], \ left [0: 1: 0 \ right], \ left [0: 0: 1 \ right]}
[
1
:
1
:
1
]
{\ displaystyle \ left [1: 1: 1 \ right]}
...
{\ displaystyle \ ldots}
In the -dimensional projective space above a body , the points and form the projective standard basis.
n
{\ displaystyle n}
K
P
n
{\ displaystyle KP ^ {n}}
K
{\ displaystyle K}
n
+
2
{\ displaystyle n + 2}
[
1
:
0
:
...
:
0
]
,
[
0
:
1
:
...
:
0
]
,
...
,
[
0
:
0
:
...
:
1
]
{\ displaystyle \ left [1: 0: \ ldots: 0 \ right], \ left [0: 1: \ ldots: 0 \ right], \ ldots, \ left [0: 0: \ ldots: 1 \ right] }
[
1
:
1
:
...
:
1
]
{\ displaystyle \ left [1: 1: \ ldots: 1 \ right]}
use
If there is any projective basis of projective space , then there is a basis of such that
(
P
0
,
...
,
P
n
+
1
)
{\ displaystyle (P_ {0}, \ ldots, P_ {n + 1})}
P
(
V
)
{\ displaystyle P (V)}
(
v
0
,
...
,
v
n
)
{\ displaystyle (v_ {0}, \ ldots, v_ {n})}
V
{\ displaystyle V}
P
0
=
K
v
0
,
...
,
P
n
=
K
v
n
and
P
n
+
1
=
K
(
v
0
+
...
+
v
n
)
{\ displaystyle P_ {0} = K \, v_ {0}, \ ldots, P_ {n} = K \, v_ {n} ~ {\ text {and}} ~ P_ {n + 1} = K \, \ left (v_ {0} + \ ldots + v_ {n} \ right)}
applies. Now and are two projective spaces of the same dimension with projective bases and , then there is exactly one projective mapping such that
P
(
V
)
{\ displaystyle P (V)}
P
(
W.
)
{\ displaystyle P (W)}
(
P
0
,
...
,
P
n
+
1
)
{\ displaystyle (P_ {0}, \ ldots, P_ {n + 1})}
(
Q
0
,
...
,
Q
n
+
1
)
{\ displaystyle (Q_ {0}, \ ldots, Q_ {n + 1})}
f
:
P
(
V
)
→
P
(
W.
)
{\ displaystyle f \ colon P (V) \ to P (W)}
f
(
P
i
)
=
Q
i
{\ displaystyle f (P_ {i}) = Q_ {i}}
for applies. Accordingly, a projective mapping between projective spaces of the same dimension is clearly characterized by specifying the images of the projective base points. Such images can therefore be described by size matrices . Furthermore, in a projective space with the projective base, with the aid of the projective mapping
i
=
0
,
...
,
n
+
1
{\ displaystyle i = 0, \ ldots, n + 1}
(
n
+
1
)
×
(
n
+
1
)
{\ displaystyle (n + 1) \ times (n + 1)}
P
(
V
)
{\ displaystyle P (V)}
(
P
0
,
...
,
P
n
+
1
)
{\ displaystyle (P_ {0}, \ ldots, P_ {n + 1})}
K
P
n
→
P
(
V
)
,
E.
i
↦
P
i
For
i
=
0
,
...
,
n
+
1
{\ displaystyle KP ^ {n} \ to P (V), E_ {i} \ mapsto P_ {i} ~ {\ text {for}} ~ i = 0, \ ldots, n + 1}
define homogeneous projective coordinates .
literature
Individual evidence
↑ Gerd Fischer: Analytical Geometry . 3. Edition. Springer, 2013, p. 142 .
↑ a b c Gerd Fischer: Analytical Geometry . 3. Edition. Springer, 2013, p. 143 .
↑ Gerd Fischer: Analytical Geometry . 3. Edition. Springer, 2013, p. 144 .
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">