Geometry MOC

Grassmannian

The Grassmannian Gr๐‘˜โก(๐‘‰) is the space of ๐‘˜-dimensional subspaces of a vector space ๐‘‰ over a field ๐•‚. It is thus a generalization of the Projectivization Pโก(๐‘‰) =Gr1โก(๐‘‰).

Constructions


#state/develop | #lang/en | #SemBr