@que_e: Ojezu, z filmu na film on tak mnie zaskakuje w kwestii tych napisów, że szczęka opada.


( ͡° ͜ʖ ͡°)
  • Odpowiedz
Mireczki z #tylkoautomat i #mechanika mam do Was pytanie odnośnie #zf o 8 przełożeniach, szeroko stosowanej teraz w m. in. w Audi czy BMW. Jakie ma to zabezpieczenie przy zastosowaniu procedury startowej? Przykładowo X6 M50d ma launch control, przy którym rozkręca się do 3k obrotów na postoju, przy tym momencie obrotowym konwerter dostaje mocno w tyłek. Czy do czasu odpuszczenia hamulca i ruszenia zamykany jest obieg oleju?
  • Odpowiedz
Czy potrafi ktoś wykazać, że jeśli dla pewnych zbiorów

x
,

y
zachodzi równość

x u {x} = y u {y}
to

x = y
? Nie idzie mi rozpisanie tego nawet przy wykorzystaniu aksjomatu regularności (a jeszcze ciekawszą zagadką wydaje się być pytanie, czy to w ogóle byłaby prawda gdyby nie przyjmować tego aksjomatu).

#matematyka #zf
@tpablo: Mam ideę jak to udowodnić ale nie napiszę tego formalnie bo nie pamiętam już wszystkich aksjomatów itp. Twoim zadaniem będzie przerobić ten dowód na formalny.

Załóżmy, że

x≠y i x u {x} = y u {y}
. Bez strat ogólności możemy założyć, że istnieje jakiś

z∈x
taki, że

z∉y
. Z faktu, że

x u {x} = y u {y}
wynika, że

z = y
.

Czyli

x = {y,
  • Odpowiedz