gptkb:lens_space
|
true
|
gptkb:sequence_space_l^p
|
true (for 1 ≤ p < ∞)
|
gptkb:Euclidean_topology
|
true
|
gptkb:Euclidean_space_(where_the_metric_is_positive-definite)
|
true
|
gptkb:l^∞_space
|
false
|
gptkb:l^1_space
|
true
|
gptkb:real_line_R
|
true
|
gptkb:Hilbert_space_(for_p=2)
|
can be separable or non-separable
|
gptkb:co-countable_topology
|
true
|
gptkb:n-dimensional_real_Euclidean_space
|
yes
|
gptkb:discrete_metric_space
|
if and only if the underlying set is countable
|
gptkb:discrete_topology
|
if the set is countable
|
gptkb:Euclidean_n-space
|
yes
|
gptkb:Gaussian_filter
|
true
|
gptkb:L^1_space
|
true
|
gptkb:3-dimensional_Euclidean_space
|
yes
|
gptkb:n-dimensional_Euclidean_space
|
true
|
gptkb:finite-dimensional_Euclidean_space
|
yes
|
gptkb:Gaussian_Filter
|
True
|