|
gptkbp:instanceOf
|
gptkb:Field
ordered field
complete ordered field
|
|
gptkbp:algebraic_closure
|
gptkb:field_of_complex_numbers_C
|
|
gptkbp:automorphismGroup
|
trivial
|
|
gptkbp:basisFor
|
1
|
|
gptkbp:cardinality
|
continuum
|
|
gptkbp:characteristic
|
0
|
|
gptkbp:completion_of
|
rational numbers Q
|
|
gptkbp:connectedTo
|
true
|
|
gptkbp:contains
|
rational numbers Q
|
|
gptkbp:dimension_over_Q
|
uncountable
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
field of real numbers R
|
|
gptkbp:is_Archimedean
|
true
|
|
gptkbp:is_Baire_space
|
true
|
|
gptkbp:is_Cauchy-complete
|
true
|
|
gptkbp:is_Dedekind-complete
|
true
|
|
gptkbp:is_dense_in_itself
|
true
|
|
gptkbp:is_Hausdorff_space
|
true
|
|
gptkbp:is_Lindelöf_space
|
true
|
|
gptkbp:is_locally_compact
|
true
|
|
gptkbp:is_metric_space
|
true
|
|
gptkbp:is_normed_space
|
true
|
|
gptkbp:is_not_algebraically_closed
|
true
|
|
gptkbp:is_path-connected
|
true
|
|
gptkbp:is_real_closed_field
|
true
|
|
gptkbp:is_second-countable
|
true
|
|
gptkbp:is_separable
|
true
|
|
gptkbp:is_sigma-compact
|
true
|
|
gptkbp:is_topological_field
|
true
|
|
gptkbp:is_totally_ordered
|
true
|
|
gptkbp:is_uncountable
|
true
|
|
gptkbp:is_unique_up_to_isomorphism
|
true
|
|
gptkbp:is_vector_space_over_Q
|
true
|
|
gptkbp:order_topology
|
standard topology
|
|
gptkbp:symbol
|
R
|
|
gptkbp:used_in
|
gptkb:probability_theory
calculus
economics
engineering
functional analysis
measure theory
partial differential equations
physics
statistics
real algebraic geometry
real analysis
|
|
gptkbp:bfsParent
|
gptkb:infinite_field_F
|
|
gptkbp:bfsLayer
|
7
|