Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:application |
gptkb:descriptive_set_theory
real analysis |
| gptkbp:class |
Baire class 0 functions are continuous functions.
Baire class 2 functions are pointwise limits of Baire class 1 functions. Baire class 1 functions are pointwise limits of continuous functions. |
| gptkbp:codomain |
real numbers
|
| gptkbp:defines |
A function that can be obtained from continuous functions by transfinite iteration of the operation of taking pointwise limits.
|
| gptkbp:domain |
gptkb:topology
|
| gptkbp:field |
mathematical analysis
|
| https://www.w3.org/2000/01/rdf-schema#label |
Baire function
|
| gptkbp:namedAfter |
gptkb:René-Louis_Baire
|
| gptkbp:relatedTo |
Baire hierarchy
Borel function |
| gptkbp:bfsParent |
gptkb:René-Louis_Baire
|
| gptkbp:bfsLayer |
7
|