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