Unteralgebra < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 14:12 Sa 05.12.2009 | Autor: | Pes |
Aufgabe | Gib eine Unteralgebra G von F an, so dass [mm] G_{vektor} \not= \emptyset [/mm] und [mm] G_{vektor} \subset F_{vektor} [/mm] und beweise, dass die mehrstelligen Operationen mit den geänderten Typen linkstotal sind.
Hinweis: Eine Operation f : A × B → C entspricht einer Relation f [mm] \subseteq [/mm] ( A × B) × C.
|
Hi,
habe eine Verständnisfrage. Und zwar, wenn nach einer Trägermenge die ungleich der leeren Menge sein soll gefragt wird, verstehe ich es so, dass ein Intervall von 0 bis [mm] \infty [/mm] angegeben werden soll. Ob das aber dann auch eine echte Teilmenge ist, frage ich mich dann und wie ich einen Vektor mit Intervallen als Komponenten angeben soll.
Geht [mm] G_{vektor}=[0,\infty]³ [/mm] oder muss [mm] G_{vektor}=\vektor{[0,\infty] \\ [0,\infty] \\ [0,\infty]} [/mm] ?
Geht es überhaupt als Intervallgrenze unendlich anzugeben?
Und wie beweise ich nun die Linkstotalität auf die Operationen?
Danke
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 14:20 Di 08.12.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|