[[Category:Classical measure theory]]
...eveloped in topological spaces, e.g. in Euclidean spaces, the concept of a Baire set coincides with that of a [[Borel set|Borel set]].
644 bytes (100 words) - 15:04, 1 May 2014
...lity of a set. A subset $A$ of a topological space $X$ is said to have the Baire property if there is an open set $U$ such that the symmetric difference $(U
A set $A$ has the Baire property if and only if there is a closed set $C$ such that $(C\setminus A)
3 KB (414 words) - 13:42, 7 October 2012
...te metric space|complete metric space]] is a Baire space. Another class of Baire spaces are [[Locally compact space|locally compact]] [[Hausdorff space|Haus
...y [[Polish space]] $\mathcal{M}$ there is a continuous surjection from the Baire space onto $\mathcal{M}$ (see Theorem 1A.1 of {{Cite|Mo}}).
2 KB (353 words) - 17:21, 18 August 2012
====Baire category theorem====
Stated by R. Baire {{Cite|Ba1}}.
3 KB (517 words) - 17:25, 31 December 2016
...self. This result generalizes to any complete metric space, it is called [[Baire category theorem]]
...in $\mathbb R$ a set of the first category can be a set of full (Lebesgue) measure, while there are (Lebesgue) null sets which are residual ({{Cite|vR}}, Th.
2 KB (291 words) - 19:06, 7 December 2023
The Baire classes are families of real functions on a topological space $X$, indexed
* The zero-th Baire class $\mathcal{H}_0$ is the class of continuous functions;
5 KB (746 words) - 08:32, 18 August 2013
of measure zero on the unit circle $ \Gamma = \{ {z } : {| z | = 1 } \} $,
...o infinity and zero along all radii that end at points of some set of full measure $ 2 \pi $
3 KB (354 words) - 04:11, 6 June 2020
ring on which the measure $ \mu $
are the exterior and interior measures, respectively (see [[Measure|Measure]]).
4 KB (623 words) - 08:03, 6 June 2020
...s related to the [[Baire theorem|Baire theorem]]. Cf. also [[Baire classes|Baire classes]] and {{Cite|Ch}}.
|valign="top"|{{Ref|Ox}}|| J.C. Oxtoby, "Measure and category" , Springer (1971).
2 KB (408 words) - 12:10, 30 November 2013
The [[Baire theorem|Baire Category theorem]] asserts that if $X$ is a complete metric space or a loca
|valign="top"|{{Ref|Ox}}|| J.C. Oxtoby, "Measure and category" , Springer (1971) {{MR|0393403}} {{ZBL|0217.09201}}
1 KB (187 words) - 19:07, 7 December 2023
[[Category:Classical measure theory]]
...$ which coincides with $f$ almost everywhere (with respect to the Lebesgue measure).
5 KB (718 words) - 17:50, 5 May 2024
...has infinite angular boundary values on a set $E\subset\Gamma$ of positive measure.
...igma$ means that every [[Portion|portion]] of $E$ on $\sigma$ has positive measure. This implies that if the radial boundary values of $f(z)$ on a set $E$ of
3 KB (424 words) - 21:56, 24 July 2012
The terminology ''Borel measure'' is used by different authors with different meanings:
...5(b) of {{Cite|Ma}} or with Section 1.1 of {{Cite|EG}}) use it for [[Outer measure|outer measures]] $\mu$ on a topological space $X$ for which the Borel sets
5 KB (764 words) - 09:39, 16 August 2013
''Often, by the Borel measure on the real line one understands the measure defined on the Borel sets such that its value on an arbitrary segment is e
...ent looks really weird to me: I think nowadays everybody calls it Lebesgue measure, even if one restricts it to the Borel sets... or am I missing something? [
3 KB (413 words) - 13:22, 23 September 2012
...first Baire category (cf. [[Baire classes|Baire classes]]) and of Lebesgue measure zero in $ \mathbf R ^ {n} $.
of measure zero that are not $ \sigma $-
4 KB (657 words) - 08:07, 6 June 2020
===Baire category===
...n dense subsets in $X$. The terminology is in general used when $X$ is a [[Baire space]]: in such spaces generic sets are dense. When some property $P$ whic
4 KB (704 words) - 11:07, 6 September 2013
...to be a [[discontinuous function]]. However, according to [[Baire classes|Baire's classification]] it is always a function of the first class and has the [
...see [[Gradient]]), and of a derivative of a set function with respect to a measure (in particular, with respect to area, volume, etc.). The concept of a deriv
4 KB (596 words) - 11:47, 5 July 2016
...calculus|calculus of variations]], [[Geometric_measure_theory | geometric measure theory]] and [[:Category:Fluid mechanics|fluid mechanics]].
[[Baire classes]] |
11 KB (1,076 words) - 07:40, 12 July 2014
...ces|[a3]]]: Given a set $E \subset ( 0,1 )$ of [[Lebesgue measure|Lebesgue measure]] zero, there is an approximately continuous function $f$ such that $\under
5 KB (822 words) - 16:46, 1 July 2020
is a [[Baire space|Baire space]], i.e., a space in which open, non-empty subsets are of the second c
with the density topology is a Baire space which is not Blumberg. W.A.R. Weiss (see the references of [[#Referen
8 KB (1,178 words) - 08:25, 26 March 2023