Ero sivun ”Muistisääntöjä matematiikan oudoille merkinnöille ja termeille” versioiden välillä

Muistisääntöjä matematiikan oudoille merkinnöille ja termeille (näytä wikiteksti)

718 merkkiä lisätty , 17 vuotta sitten

ei muokkausyhteenvetoa

Rekisteröitymätön käyttäjä

@@ Rivi 52: / Rivi 52: @@
 ** Refleksiivisessä rakkausrelaatiossa kaikki viettävät ainakin jonkin verran aikaa tuijotellen kuvajaistaan (reflection), eli ovat itseään rakastavia narsisteja. Saavat toki rakastaa vapaa-ajallaan myös muita kuin itseään. (Esimerkiksi täydellinen ja reflektiivinen rakkausrelaatio on ihmissuhdeverkkona kuvattuna ihme häkkyrä, jossa on joka suuntaan viivoja ja joka pisteessä vielä itseen osoittava pampula.)
 ** Luentomateriaalissa määritelty '''Delta_X'''-relaatio on selvästi määritelmänsä mukaan refleksiivinen. Sehän määriteltiin joukkona '''Delta_X = {(x,x) : x kuuluu perusjoukkoon}'''.
+=Kuvaukset=
+Kuvaus on erikoistapaus relaatiosta. Kuvauksessa relaation toisessa päässä on aina yksikäsitteisesti määrättävissä oleva alkio. Siis jos F on kuvaus ja pätee '''F(x) = y''' ''ja'' '''F(x) = z''', niin '''y = z'''. Kuvauksia ei kuitenkaan kannata välttämättä ajatella relaatioina, vaan eräänlaisina ''koneina'' jotka liittävät kahden joukon alkiota toisiinsa tietyllä säännöllä. Jos meillä on kuvaus '''F''' joukolta '''X''' joukkoon '''Y''', merkitään '''F: X -> Y'''. Joukkoa '''X''' sanotaan ''lähtöjoukoksi'' ja joukoa '''Y''' ''maalijoukoksi''. ''Alkion'' '''x \kuuluu X''' ''kuva kuvauksessa'' '''F''' on alkio '''y \kuuluu Y''' ja sitä merkitään  ' '''F(X) = y''' '.