Citat:
Ursprungligen postat av
starke_adolf
Appropå notationsfråga, vad menas med en mängd följt av något inom parentes? Jag känner inte igen det men
Wikipedia säger mig "av". Sen har jag ytterligare tre frågor:
1. Är biten (∧ ∀z ∈ Y(R(x,z) → z = y)) till för att:
i. Definiera relationen
ii. Säga att relationen gäller oavsett val på y
iii. Beskriva elementen i mängden Y ?
Jag tycker att det ser ut som att det gör alla tre, men rätta mig gärna om det inte stämmer.
2. Vad hade hänt om denna bit inte hade stått med? Alltså
En funktion f:X→Y är en tvåställig relation R på X × Y sådan att
∀x ∈ X ∃y ∈ Y(R(x,y)).
Där mängden Y alltså bara består av relationen R(x,y).
3. Vad hade hänt om själva relationen inte hade existerat i Y? Alltså
En funktion f:X→Y är en tvåställig relation R på X × Y sådan att
∀x ∈ X ∃y ∈ Y(∀z ∈ Y(R(x,z) → z = y)).
Hade Y varit nollmängden för att relationen inte existerar? Odefinierad?
Angående notationsfrågan så är innebörden inte direkt kopplad till mängden, parentesen betecknar istället utsträckningen av kvantifikatorerna. Inom parentesen står det som kvantifikatorn kvantifierar över. Lite slarvigare (och otydligare som du ser) skulle man kunna skriva
En funktion f:X→Y är en tvåställig relation R på X × Y sådan att
∀x ∈ X ∃y ∈ Y : R(x,y) ∧ ∀z ∈ Y : R(x,z) → z = y
1. Den delen av definitionen försäkrar oss om att funktionen f(x) har ett unikt värde.
2. Välj exempelvis X = {a,b,c} och Y = {1,2}. Beräkna den kartesiska produkten
X × Y = {(a,1), (a,2), (b,1), (b,2), (c,1), (c,2)}
Definiera
R = {(a,1), (a,2), (b,1), (c,1)} ⇒ R ⊂ X × Y
Så R är en relation på X × Y. Det är nu sant att det för varje x ∈ X finns ett y ∈ Y s.a. R(x,y), d.v.s. varje element i X är associerat med ett element i Y. Detta är innebörden av
∀x ∈ X ∃y ∈ Y(R(x,y))
och därmed är villkoret för din stympade definition av funktion uppfylld. Problemet blir nu att
f(a) = 1
och
f(a) = 2
och funktionen blir alltså flervärd vilket vanligtvis inte är en fruktbar definition av funktionsbegreppet. Som du ser blir även det andra ledet i konjunktionen falsk med detta exempel. Logiken är följande.
1. Välj ett x ∈ X
2. Då skall det existera ett y ∈ Y
3. För dessa x,y skall det gälla att R(x,y) (
första ledet i konjunktionen)
4. Det skall vidare gälla att för varje z ∈ Y, att om R(x,z) så är z = y (
andra ledet i konjunktionen).
Men detta är inte sant! För
x = a existerar y = 1 s.a. R(a,1) men det finns ett z = 2 ∈ Y s.a. R(a,2) men 1 ≠ 2 och implikationen är falsk.
3. Detta vet jag ej svaret på. Kanske Skyrmion kan klura ut det.