Identiteta

Iz MaFiRaWiki

(Razlika med različicami)
Različica od 09:29, 16 december 2005
AndrejBauer (Pogovor | prispevki)

← Prejšnja različica
Različica od 22:29, 16 december 2005
AndrejStivicevic (Pogovor | prispevki)

Naslednja različica →
Vrstica 1: Vrstica 1:
-'''Identiteta''' na objektu <math>A</math> je odlikovani [[morfizem]] <math>1_A : A \to A</math> v [[kategorija|kategoriji]], za katerega velja <math>1_A \circ f = f</math> za vse <math>f : B \to A</math> in <math>g \circ 1_A = g</math> za vse <math>g : A \to B</math>.+'''Identiteta''' na objektu ''A'' je odlikovani [[morfizem]] <math>1_A : A \to A</math> v [[kategorija|kategoriji]], za katerega velja <math>1_A \circ f = f</math> za vse <math>f : B \to A</math> in <math>g \circ 1_A = g</math> za vse <math>g : A \to B</math>.
==Zgledi== ==Zgledi==
-* V kategoriji množic je identiteta na <math>A</math> funkcija <math>x \mapsto x</math>.+* V kategoriji množic je identiteta na ''A'' funkcija <math>x \mapsto x</math>.
-* V raznih kategorijah algebrskih struktur (grupe, kolobarji, vektroski prostori ipd.) je identiteta spet kar funkcija <math>x \mapsto x</math>.+* V raznih kategorijah algebrskih struktur ([[grupa|grupe]], [[kolobar|kolobarji]], [[vektorski prostor|vektorski prostori]] ipd.) je identiteta spet kar [[funkcija]] <math>x \mapsto x</math>.
-* V [[linerana algebra|linearni algebri]] identiteto na <math>n</math>-razsežnem vektorskem prostoru zapišemo z [[identična matrika|identično matriko]].+* V [[linearna algebra|linearni algebri]] identiteto na ''n''-razsežnem vektorskem prostoru zapišemo z [[identična matrika|identično matriko]].
-* V kategoriji množic in relacij je identita relacija [[enakost|enakosti]].+* V kategoriji množic in relacij je identiteta relacija [[enakost|enakosti]].
[[Kategorija:Pojmovnik]] [[Kategorija:Pojmovnik]]
[[Kategorija:Osnove matematike]] [[Kategorija:Osnove matematike]]
[[Kategorija:Algebra]] [[Kategorija:Algebra]]

Različica od 22:29, 16 december 2005

Identiteta na objektu A je odlikovani morfizem 1_A : A \to A v kategoriji, za katerega velja 1_A \circ f = f za vse f : B \to A in g \circ 1_A = g za vse g : A \to B.

Zgledi

Osebna orodja