Klasa równoważności ktoś: Dla (x,y),(s,t)∈R² (x,y)~(s,t)⇔∃_k∈Z x²−y+k=s²−t Udowodnij, że jest to relacja równoważności. Znajdź klasę równoważności [(a, b)]_~ Udowodnić udowodniłem, a z klasą to nie do końca wiem co robić: [(a,b)] = {(x,y)∊R²: (x,y)~(a,b)} = {(x,y)∊R²: ∃_k∊Z x²−y = a²−b} = {∃_k∊Z (x,x²+k−a²+b), x²+k−a²+b ∊ R } O to chodzi?

Basia: (x,y)~(a,b) ⇔ ∃_k∊C x²−y+k=a²−b (x,y)~(a,b) ⇔ x²+k−a²+b = y gdzie x− dowolna liczba z R, a k dowolna liczba z Z [(a,b)] = {(x;x²+k−a²+b): x∊R ∧ k∊Z} policzyłeś dobrze; zapis jest do kitu; opisując zbiór opisujemy jego elementy; co tam ma kwantyfikator do roboty?

ktoś: Dzięki