theorem Th28: :: NEURONS1:28

for M being non empty MetrSpace
for S being non empty compact TopSpace
for T being NormedLinearTopSpace st S = TopSpaceMetr M & T is complete & T is finite-dimensional & dim T <> 0 holds
for G being Subset of (Funcs ( the carrier of M, the carrier of T))
for F being non empty Subset of (R_NormSpace_of_ContinuousFunctions (S,T)) st G = F holds
( Cl F is compact iff ( G is equibounded & G is equicontinuous ) )