
【計】 identical graph
在數學的範疇論中,恒等圖(Identity Morphism)是每個對象都關聯的一個特殊态射(箭頭)。其核心含義是:
定義
對于範疇 $mathscr{C}$ 中的任意對象 $X$,存在唯一的态射 $text{id}_X: X to X$,稱為 $X$ 的恒等态射。它滿足以下公理:
對任意态射 $f: A to X$ 和 $g: X to B$,均有: $$ g circ text{id}_X = g quad text{和} quad text{id}_X circ f = f $$ 即與任何可複合的态射結合後,仍得到原态射。
數學表示
恒等态射的符號化表示為: $$ text{id}X in text{Hom}{mathscr{C}}(X, X) $$ 其中 $text{Hom}_{mathscr{C}}(X, X)$ 是對象 $X$ 到自身的态射集合。
應用意義
恒等圖是範疇定義的基礎構件,用于:
id(x) = x
函數即恒等态射的實現。權威參考
該定義源自範疇論标準文獻:
漢英術語對照
中文 | 英文 |
---|---|
恒等圖 | Identity Morphism |
範疇 | Category |
态射 | Morphism |
對象 | Object |
複合 | Composition |
關于“恒等圖”的解釋如下:
一、基礎概念 “恒等”在數學中表示完全等同的關系,常見于恒等映射(如函數f(x)=x)、恒等式(如sin²x+cos²x=1)等場景。
二、恒等圖的含義 該術語在不同領域可能有兩種解釋:
三、使用建議 由于該術語尚未形成标準化定義,建議結合具體學科領域确認其精确含義。在數學文獻中使用時,通常需要作者給出明确定義。
(注:當前可查的權威數學辭書中暫未收錄“恒等圖”的标準詞條,以上分析基于“恒等”的基礎含義進行的邏輯推演。)
保護酶不分段磁盤存儲器動作比多趣的二鹼的非循環光合磷酸化分層索引直接存取法工資部門費用光源的效率海綿窦叢黃芩配質間斷的結腸右淋巴結苛性裂紋籃式精泸器捩頸硫氰酸烯丙酯煤氣竈甯死不屈普通基金切石機傷殘撫恤金柿室内雜音刷幹淨水及空氣放射力計數據結構樹體型聚合物