V0
Zeige: ∀ x , y ∈ R+ ∀ λ ∈ R x ⊕ y ∈ R+ und λ ⊗ x = x ^ λ ∈ R+
x, y ∈ R+ => x > 0 und y > 0 => x ⊕ y = x * y > 0 => x ⊕ y ∈ R+
x ∈ R+ , λ ∈ R => x > 0 => λ ⊗ x = x λ > 0 => λ ⊗ x∈ R+
V1 (Assoziativität)
Zeige: ∀ x , y, z ∈ R+ ( x ⊕ y ) ⊕ z = x ⊕ ( y ⊕ z )
( x ⊕ y ) ⊕ z = ( x * y ) * z = x * ( y * z ) = x ⊕ ( y ⊕ z )
V2 (Kommutativität)
Zeige: ∀ x , y ∈ R+ x ⊕ y = y ⊕ x
x ⊕ y = x * y = y * x = y ⊕ x
V3 (Neutrales Element e):
Zeige: ∃ e ∈ R+ ∀ x ∈ R+ x ⊕ e = x
x ⊕ e = x
<=> x * e = x
<=> e = 1
Das neutrale Element n ist also n = 1 und dieses ist ein Element von R+
V4 (inverses Element):
Zeige: ∀ x ∈ R+∃ y ∈ R+ x ⊕ y = n = 1
x ⊕ y = 1
<=> x * y = 1
<=> y = x - 1
Das inverse Element zu x ist also x - 1 und dieses ist ein Element von R+
V5:
Zeige: ∀ x, y ∈ R+∀ λ∈ R λ ⊗ ( x ⊕ y ) = ( λ ⊗ x ) ⊕ ( λ ⊗ y )
λ ⊗ ( x ⊕ y ) = λ ⊗ ( x * y ) = ( x * y ) λ = x λ * y λ = ( λ ⊗ x ) ⊕ ( λ ⊗ y )
V6:
Zeige: ∀x ∈ R+∀λ,μ ∈ R ( λ + μ ) ⊗ x = ( λ ⊗ x ) ⊕ ( μ ⊗ x )
( λ + μ ) ⊗ x = x λ + μ = x λ * x μ = ( λ ⊗ x ) ⊕ ( μ ⊗ x )
V7:
Zeige: ∀x ∈ R+∀λ,μ ∈ R ( λ * μ ) ⊗ x = λ ⊗ ( μ ⊗ x )
( λ * μ ) ⊗ x = x λ * μ = ( x μ ) λ = ( μ ⊗ x ) λ = λ ⊗ ( μ ⊗ x )
V8:
Zeige: ∀x ∈ R+ 1 ⊗ x = x
1 ⊗ x = x 1 = x