Auxiliary normed space
In functional analysis, a branch of mathematics, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces. One method is used if the disk D {\displaystyle D} is bounded: in this case, the auxiliary normed space is span D {\displaystyle \operatorname {span} D} with norm p D ( x ) := inf x ∈ r D , r > 0 r .