Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
means_._note [2015/11/05 10:10] nikolaj |
means_._note [2016/03/09 10:34] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Means . Note === | ===== Means . Note === | ||
| ==== Note ==== | ==== Note ==== | ||
| - | | @#55CCEE: context | @#55CCEE: $S\subseteq X$ | | + | | @#55CCEE: context | @#55CCEE: $S$ ... set | |
| | @#55CCEE: context | @#55CCEE: $G$ ... group | | | @#55CCEE: context | @#55CCEE: $G$ ... group | | ||
| | @#55CCEE: context | @#55CCEE: $w:S\to G$ | | | @#55CCEE: context | @#55CCEE: $w:S\to G$ | | ||
| Line 7: | Line 7: | ||
| | @#FFBB00: definiendum | @#FFBB00: $M:(S\to G)\to G$ | | | @#FFBB00: definiendum | @#FFBB00: $M:(S\to G)\to G$ | | ||
| | @#FFBB00: definiendum | @#FFBB00: $\langle f\rangle:=I(f\cdot w)\cdot I(w)^{-1}$ | | | @#FFBB00: definiendum | @#FFBB00: $\langle f\rangle:=I(f\cdot w)\cdot I(w)^{-1}$ | | ||
| + | |||
| + | Here $(f\cdot w)(s):=f(s)*w(s)$ where $*$ is the group Operation. | ||
| == Real functions == | == Real functions == | ||
