Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- "von rechts":
- z.z.: conv(conv A U conv B) = conv(A U B)
- Sei A U B = C conv(conv A U conv B) = conv(A c C)
- conv(conv A U conv B) = conv(conv A c conv C)
- conv(conv A U conv B) = conv(conv A c conv(A U B))
- conv(conv A U conv B) = conv(conv A U B) // folgt das echt aus der Zeile davor?
- conv(conv A U conv B) = conv(A convA U B convB)
- conv(conv A U conv B) = conv(A U B)
- Wegen A c conv A und A konvex <=> A = conv A, folgt die Behauptung(aus dem letzten Schritt)
Add Comment
Please, Sign In to add comment