Grupo de homotopía de tamaño
El concepto de grupo de homotopía de tamaño es análogo en la teoría del tamaño del concepto clásico de grupo de homotopía . Para dar su definición, supongamos que se da un par de tamaños , donde es una variedad cerrada de clase y es una función continua . Considere el orden lexicográfico definido por establecer si y solo si . Por cada conjunto .![{\ estilo de visualización (M, \ varphi)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![METRO](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ estilo de visualización C ^ {0} \ }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![\preceq](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![\mathbb{R} ^{k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (x_{1},\ldots,x_{k})\preceq (y_{1},\ldots,y_{k})\ }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{1}\leq y_{1},\ldots,x_{k}\leq y_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y\en \mathbb {R} ^{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M_{Y}=\{Z\in \mathbb {R} ^{k}:Z\preceq Y\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)