# Differences

This shows you the differences between two versions of the page.

 positive_real_step_function [2013/08/18 19:39]nikolaj created positive_real_step_function [2014/03/21 11:11] (current) 2013/08/18 19:40 nikolaj created2013/08/18 19:39 nikolaj created Next revision Previous revision 2013/08/18 19:40 nikolaj created2013/08/18 19:39 nikolaj created Line 1: Line 1: ===== Positive real step function ===== ===== Positive real step function ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $\langle X,​\Sigma\rangle\in\mathrm{MeasurableSpace}(X)$ | + | @#55CCEE: context ​    | @#55CCEE: $\langle X,​\Sigma\rangle\in\mathrm{MeasurableSpace}(X)$ | - | @#55EE55: $f\in \mathcal T^+$ | + | @#55EE55: postulate ​  | @#55EE55: $f\in \mathcal T^+$ | - | @#88DDEE: $f\in \mathcal T$ | @#88DDEE: see [[Real step function]] | + | @#55CCEE: context ​    | @#55CCEE: $f\in \mathcal T$ | @#55CCEE: context ​    | @#55CCEE: ...[[Real step function]] | | $x\in X$ | | $x\in X$ | - | @#55EE55: $f(x)\ge 0$ | + | @#55EE55: postulate ​  | @#55EE55: $f(x)\ge 0$ | ==== Discussion ==== ==== Discussion ==== - ==== Context ​==== + ==== Parents ​==== === Subset of === === Subset of === [[Real step function]] [[Real step function]]