Schema/Invertierbare Garbe/Lineares System/Basispunktfrei/Definition

Basispunktfreies lineares System

Es sei $X$ ein Schema über einem kommutativen Ring $R$ und es sei $ℒ$ eine invertierbare Garbe auf $X$. Ein lineares System  $T\subseteq \mathrm{\Gamma }(X,ℒ)$  heißt basispunktfrei, wenn es zu jedem Punkt  $x\in X$  ein  $s\in T$  mit  $x\in X_s$  gibt.