| Fri, 27 Aug 2010 16:23:51 +0200 |
hoelzl |
factorizable measurable functions
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 15:05:07 +0200 |
hoelzl |
Introduced sigma algebra generated by function preimages.
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 14:06:12 +0200 |
hoelzl |
vimage of measurable function is a measure space
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 11:49:06 +0200 |
hoelzl |
added definition of conditional expectation
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 11:33:37 +0200 |
hoelzl |
proved existence of conditional expectation
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 18:41:54 +0200 |
hoelzl |
introduced integration on subalgebras
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 19:35:57 +0200 |
hoelzl |
Rewrite the Probability theory.
|
file |
diff |
annotate
|
| Mon, 03 May 2010 14:35:10 +0200 |
hoelzl |
Cleanup information theory
|
file |
diff |
annotate
|
| Fri, 26 Mar 2010 18:03:01 +0100 |
hoelzl |
Added finite measure space.
|
file |
diff |
annotate
|
| Tue, 23 Mar 2010 16:18:44 +0100 |
hoelzl |
Unhide measure_space.positive defined in Caratheodory.
|
file |
diff |
annotate
|
| Thu, 04 Mar 2010 21:52:26 +0100 |
hoelzl |
Add Lebesgue integral and probability space.
|
file |
diff |
annotate
|