|
gptkb:locally_compact_Hausdorff_space
|
taking open subsets
|
|
gptkb:Lp_ball
|
Lp norm
|
|
gptkb:analytic_set
|
continuous image
|
|
gptkb:l^∞_space
|
supremum norm
|
|
gptkb:coNP
|
gptkb:intersection
|
|
gptkb:Nilpotent_group
|
Direct products
|
|
gptkb:T2_space
|
continuous images
|
|
gptkb:T2_space
|
subspaces
|
|
gptkb:Isometry_group_of_R^n
|
inversion
|
|
gptkb:analytic_set
|
countable intersection
|
|
gptkb:l^∞_space
|
pointwise addition
|
|
gptkb:l^∞_space
|
scalar multiplication
|
|
gptkb:locally_compact_Hausdorff_space
|
taking finite products
|
|
gptkb:category_of_Fréchet_spaces
|
quotients by closed subspaces
|
|
gptkb:analytic_set
|
countable union
|
|
gptkb:locally_compact_Hausdorff_space
|
taking closed subsets
|
|
gptkb:T2_space
|
products
|
|
gptkb:coNP
|
polynomial-time many-one reductions
|
|
gptkb:coNP
|
gptkb:Union
|
|
gptkb:Nilpotent_group
|
Subgroups
|