GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
isLocallyCompact
URI:
https://gptkb.org/prop/isLocallyCompact
12
triples
GPTKB property
Random triples
Subject
Object
gptkb:finite-dimensional_Euclidean_space
yes
gptkb:n-dimensional_real_Euclidean_space
yes
gptkb:6-dimensional_Euclidean_space
true
gptkb:Euclidean_n-space
yes
gptkb:symplectic_group_over_p-adic_numbers
true
gptkb:Euclidean_space_(where_the_metric_is_positive-definite)
true
gptkb:3-dimensional_Euclidean_space
yes
gptkb:Euclidean_topology
true
gptkb:discrete_topology
true
gptkb:Weil_group
true
gptkb:discrete_metric_space
true
gptkb:real_line_R
true