Irreducible component (original) (raw)

数学、とりわけ代数幾何学において、既約成分 (irreducible component) の概念は方程式 XY = 0 によって定義されるような集合は二本の直線 X = 0 と Y = 0 の和集合であるというアイデアを形式的にするために使われる。したがって空でない代数的集合 (algebraic set) が既約 (irreducible) であるとは、2つの真の代数的部分集合の和集合でないということである。次のことは古典的な代数幾何学の基本的な定理である。すべての代数的集合は有限個の既約代数的部分集合（多様体）の和集合であり、この分解はほかの部分集合に含まれるようなものをとり除けば一意的である。この一意的な分解の元は既約成分 (irreducible component) と呼ばれる。 この概念はザリスキ位相（これは閉部分集合が部分多様体であるような位相である）という位相の用語を用いて再定式化することができる：代数的集合が既約であるとはそれがザリスキ位相で閉な2つの真の部分集合の和集合でないことである。これによってトポロジーにおける一般化ができ、それを通じて、有限分解の上記の性質が必ずしも正しくないような一般のスキームに一般化できる。