Nu ja, wat dat laatste betreft heb je gelijk, voor een vectorruimte, maar ik wete niet of dat ook het geval voor een groep is.
Voor zover ik weet is de definitie van isomorf(isme) niet speciaal toegespitst op alleen een vectorruimte, en geldt er:
"V en W zijn isomorf
\(\Leftrightarrow V \cong W \Leftrightarrow\)
er bestaat een isomorfisme tussen V en W"
ongeacht of V en W nu lichamen, vectorruimten, groepen, enz. zijn.
(Ik schrijf trouwens

maar daarmee bedoel ik niet zozeer dat die drie uitspraken een gevolg van elkaar zijn, ze betekenen gewoon letterlijk hetzelfde)
Verder is een functie van een vectorruimte naar een vectorruimte natuurlijk ook ene vectorruimte ( optelling is behouden, heeft ene eenheidselement en scalaire vermenigvuldiging geldt).
Dit geldt trouwens zeker ook voor een groep.
Het beeld van de functie misschien, maar de functie zelf toch niet? Welke elementen zitten er in
\(\rho\)
?
Kun je anders eens een voorbeeld noemen?
[quote]Nu ja, wat dat laatste betreft heb je gelijk, voor een vectorruimte, maar ik wete niet of dat ook het geval voor een groep is.[/quote]
Voor zover ik weet is de definitie van isomorf(isme) niet speciaal toegespitst op alleen een vectorruimte, en geldt er:
"V en W zijn isomorf [tex]\Leftrightarrow V \cong W \Leftrightarrow[/tex] er bestaat een isomorfisme tussen V en W"
ongeacht of V en W nu lichamen, vectorruimten, groepen, enz. zijn.
(Ik schrijf trouwens :roll: maar daarmee bedoel ik niet zozeer dat die drie uitspraken een gevolg van elkaar zijn, ze betekenen gewoon letterlijk hetzelfde)
[quote]Verder is een functie van een vectorruimte naar een vectorruimte natuurlijk ook ene vectorruimte ( optelling is behouden, heeft ene eenheidselement en scalaire vermenigvuldiging geldt).
Dit geldt trouwens zeker ook voor een groep.[/quote]
Het beeld van de functie misschien, maar de functie zelf toch niet? Welke elementen zitten er in [tex]\rho[/tex]?
Kun je anders eens een voorbeeld noemen?