logika pytanie anonim123: Co w logice i teorii mnogości oznaczamy przez f z taką falą u góry?

Adamm: Nie wiem

Min. Edukacji: a może d z wężykiem?

anonim123: https://zapodaj.net/a9f5275a6648c.jpg.html tutaj jest to oznaczenie może teraz coś ktoś będzie wiedział?

a7: znalazłam f z falką z linku: w podrozdziale 5.1 https://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci/Wyk%C5%82ad_6:_Funkcje%2C_tw._o_faktoryzacji%2C_produkt_uog%C3%B3lniony%2C_obrazy_i_przeciwobrazy%2C_tw._Knastera-Tarskiego_i_lemat_Banacha

a7: może to będzie dla kogoś bardziej kompetentnego coś pomocnego

Maciess: Nie ma ogólnej zasady. Zazwyczaj jak definiujemy jakiś nowy obiekt na podstawie innego, który może się nie wiele różnić, to dodajemy jakies fale, primy i inne znaczki. W twoim przykładzie wzieliśmy funkcje taką, że zastąpiliśmy przeciwdziedzinę obrazem funkcji f. Czyli de fakto nie był to jakiś zupełnie inny byt, tylko pewna modyfikacja f.

Adamm: Po prostu oznaczenie na nową funkcję ktoś sobie wymyślił. W ogólności tak jak napisał Maciess, po prostu ktoś sobie tak oznaczył, nie ogólnie przyjętego oznaczenia.

Adamm: nie ma*

Adamm: Np. Jedna z moich książek sobie tak oznacza funkcję y = f(−x)

Adamm: To tw. Knastra−Tarskiego to się mówi Tarski fixed point theorem. Że punkty stałe funkcji monotonicznej na kracie zupełnej też tworzą kratę zupełną. W szczególności istnieje najmniejszy i największy punkt stały. To akurat znałem.

Adamm: Ten lemat Banacha coś też kojarzę chociaż bez nazwy, może mi się wydaje.

anonim123: dzięki

anonim123: A może ktoś mi to narysować i lepiej wytłumaczyć?

anonim123: ?