Projektív altér dimenziója

def

Def.: Adott $U\le V$, és $\left(U\setminus \{0\}\right)/\sim$ projektív altér dimenziója:

$$dim\left((U\setminus \{0\}\right)/\sim ):=dim(U)-1$$

Dependencies:

• Projektív altér