Spaces of measurable functions (Q5917942): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 17:30, 1 February 2024
scientific article; zbMATH DE number 6176174
Language | Label | Description | Also known as |
---|---|---|---|
English | Spaces of measurable functions |
scientific article; zbMATH DE number 6176174 |
Statements
Spaces of measurable functions (English)
0 references
14 June 2013
0 references
Let \(X\) be a metrizable space, and \((\Omega,\mathfrak M,\mu)\) a finite measure space. Let \(M_{\mu}(X)\) (resp. \(M_{\mu}^r(X)\)) be the space of \(\mathfrak M\)-measurable functions (identifying functions that are equal almost everywhere mod \(\mu\)) from \(\Omega\) to \(X\) with separable ranges (resp. with ranges contained in \(\sigma\)-compact sets) endowed with the topology of convergence in measure. It is shown that given a nontrivial \(X\), and nonatomic finite measure space \((\Omega,\mathfrak M,\mu)\), \(M_{\mu}(X)\) is an absolute retract; moreover, \(M_{\mu}^r(X)^{\omega}\cong M_{\mu}^r(X)\), and since \(M_{\mu}(X)=M_{\mu}^r(X)\) provided \(X\) is absolutely measurable, the author argues that \(M_{\mu}(X)\) is homeomorphic to an infinite-dimensional Hilbert space, if \(\mu\) is a finite nonatomic measure, and \(X\) is a nontrivial completely metrizable space. ``The other purpose of the paper is to present the idea of extending maps between metrizable spaces to maps between AR's via functors. Namely, whenever \(\mu\) is a finite (nonzero) nonatomic measure, every map \(f:X\to Y\) has a natural extension \(M_{\mu}(f): M_{\mu}(X)\to M_{\mu}(Y)\)'', which preserves, among other properties, being an injection, an embedding, or a map with dense range, respectively. The question whether \(M_m(M_m(X)) \cong M_m(X)\) is also investigated, where \(m\) is the Lebesgue measure on \([0,1]\).
0 references
measurable function
0 references
absolute retract
0 references
infinite-dimensional manifold
0 references
nonatomic measure
0 references
functor of extension
0 references
convergence in measure
0 references
Hilbert space
0 references