Differences
This shows you the differences between two versions of the page.
complete_measure_space [2013/09/07 23:22] nikolaj created |
complete_measure_space [2013/09/07 23:23] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Measure space ===== | + | ===== Complete measure space ===== |
==== Definition ==== | ==== Definition ==== | ||
| @#88DDEE: $X $ | | | @#88DDEE: $X $ | |