
上包絡
在數學的範疇論中,coenvelope(餘包絡) 是envelope(包絡) 概念的對偶形式。其核心定義與應用如下:
對偶性:若範疇 $mathcal{C}$ 中對象 $A$ 的包絡 是一個态射 $A to E$(其中 $E$ 具有特定泛性質,如内射性),則其餘包絡 是包絡在對偶範疇 $mathcal{C}^{text{op}}$ 中的對應概念,表現為态射 $Q to A$($Q$ 具有對偶性質,如投射性)。
數學表述:
$$ begin{align} text{包絡:} & quad A rightarrow E quad (text{如内射包絡}) text{餘包絡:} & quad Q rightarrow A quad (text{如投射餘包絡}) end{align} $$
泛性質:餘包絡态射 $Q to A$ 需滿足:對任意具有相同性質(如投射性)的态射 $Q' to A$,存在唯一态射 $Q' to Q$ 使下圖交換:
$$ require{AMScd} begin{CD} Q' @>>> Q @VVV @VVV A @= A end{CD} $$
在同調代數中,投射餘包絡(projective coenvelope) 是内射包絡的對偶概念。例如在 $R$-模範疇中:
餘包絡的存在依賴範疇性質。若範疇有足夠投射對象,則部分對象存在投射餘包絡。其意義在于通過對偶性統一處理同調構造,如導出函子與分解理論。
權威參考來源:
“coenvelope”并非标準英語詞彙,可能為拼寫錯誤或專業術語的罕見用法。以下是相關分析及建議:
可能的拼寫混淆
專業領域推測
建議
可通過以下來源進一步驗證:愛詞霸詞典或星火網校中的權威解釋。
spaceshiprughumanitarianof the periodtarget organacclaimedathenaeumdeliquateloathedphosphoriSagittarianssliversunderratedunsuitablyheat affected zonehigh potencynext Mondayoverload protectionparty bosspurchasing requisitionsee assounding boardbighorndeadstartdiscoctasterfeatherbedhepatolithhorospherelarboardmicroroughness