加法性
加法的関数
加法性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/01/14 20:37 UTC 版)
ある種の工学的な仮定(たとえば、故障率一定型に関する上記の仮定に加えて、考慮されるシステムには関連する冗長性がないという仮定)の下では、複雑なシステムの故障率は、単位が一貫している限り、その構成要素の個々の故障率の単純な合計となる(たとえば、100万時間当たりの故障数)。これにより、個々の構成要素またはサブシステムをテストすることが可能になり、それらの故障率を加算してシステム全体の故障率を得ることができる。 単一故障点をなくすために「冗長」部品を追加すると、ミッション故障率は改善するが、直列故障率(ロジスティクス故障率とも呼ばれる)は悪化する。つまり、追加の部品は平均重大故障間隔(mean time between critical failures、MTBCF)を改善させる反面、何かが故障するまでの平均時間は悪化する。
※この「加法性」の解説は、「故障率」の解説の一部です。
「加法性」を含む「故障率」の記事については、「故障率」の概要を参照ください。
加法性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/28 14:11 UTC 版)
CとDを前加法圏とし、F : C ← Dを加法的関手とし、G : C → DがFの右随伴であるとすると、Gも加法的関手であり、hom集合の全単射 Φ Y , X : h o m C ( F Y , X ) ≅ h o m D ( Y , G X ) {\displaystyle \Phi _{Y,X}:\mathrm {hom} _{\mathcal {C}}(FY,X)\cong \mathrm {hom} _{\mathcal {D}}(Y,GX)} は、実は、アーベル群の同型である。双対的に、Gが加法的で、FがGの左随伴であるとすると、Fもまた加法的である。 さらに、CとDを加法圏(つまり、前加法圏であり有限双積をもつ)とすると、任意の随伴関手の対は自動的に加法的となる。
※この「加法性」の解説は、「随伴関手」の解説の一部です。
「加法性」を含む「随伴関手」の記事については、「随伴関手」の概要を参照ください。
- 加法性のページへのリンク