ผลต่างระหว่างรุ่นของ "ผู้ใช้:Keeplearn/กระบะทราย2ExteriorAlgebra"

เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
Keeplearn (คุย | ส่วนร่วม)
ไม่มีความย่อการแก้ไข
Keeplearn (คุย | ส่วนร่วม)
ไม่มีความย่อการแก้ไข
บรรทัด 8:
'''พีชคณิตภายนอก''' หรือ '''พีชคณิตของกรัสส์แมน''' ตั้งชื่อตาม[[แฮร์มันน์ กรัสส์มันน์]],<ref>{{harvcoltxt|Grassmann|1844}} introduced these as ''extended'' algebras (cf. {{harvnb|Clifford|1878}}). He used the word ''äußere'' (literally translated as ''outer'', or ''exterior'') only to indicate the ''produkt'' he defined, which is nowadays conventionally called ''exterior product'', probably to distinguish it from the ''[[outer product]]'' as defined in modern [[linear algebra]].</ref> เป็นระบบพีชคณิตที่ผลลัพธ์ของมันคือผลคูณภายนอกปริภูมิตั้งต้น พีชคณิตภายนอกให้สภาพแวดล้อมเพื่อตอบคำถามทางเรขาคณิต ตัวอย่างเช่น เบลดมีความหมายทางเรขาคณิตที่ชัดเจน เราสามารถจัดการกับวัตถุในพีชคณิตภายนอกตามชุดของกฎที่ชัดเจน พีชคณิตภายนอกประกอบด้วย ''k''-เบลด และผลรวมของ''k''-เบลดที่เราเรียกว่า[[''k''-เวกเตอร์]].<ref>The term ''k-vector'' is not equivalent to and should not be confused with similar terms such as ''[[4-vector]]'', which in a different context could mean a 4-dimensional vector. A minority of authors use the term ''k''-multivector instead of ''k''-vector, which avoids this confusion.</ref> เราเรียก''k''-เบลดว่าสมาชิกมูลฐานของพีชคณิตภายนอกเพราะพวกมันเป็นผลลัพธ์มูลฐานของเวกเตอร์ เรานิยาม''rank''ของ''k''-เวกเตอร์ใดๆ ว่าเป็นจำนวนที่เล็กที่สุดของสมาชิกมูลฐานที่ประกอบขึ้นเป็นผลรวม เราได้ขยายผลคูณภายนอกออกไปเพื่อให้ได้พีชคณิตภายนอกที่สมบูรณ์แบบเพื่อให้เราสามารถคูณสมาชิกใดๆของมันสองตัวได้อย่างมีเหตุมีผล ด้วยการเพิ่มผลคูณแบบนี้ให้กับพีชคณิตภายนอก ทำให้พีชคณิตภายนอกเป็น[[พีชคณิตการเปลี่ยนหมู่]] (associative algebra) ซึ่งหมายความว่า {{nowrap|1=α ∧ (β ∧ γ) = (α ∧ β) ∧ γ}} สำหรับสมาชิกใดๆ α, β, γ ''k''-เวกเตอร์มีอันดับที่''k'' หมายถึงพวกมันเป็นผลรวมของผลคูณของเวกเตอร์''k''ตัว เมื่อนำสมาชิกที่มีอันดับต่างกันมาคูณกัน เราจะเอาอันดับของมันมาบวกกันเหมือนการคูณของพหุคูณ (polynomials) สิ่งนี้หมายความว่าพีชคณิตภายนอกเป็น[[พีชคณิตการจัด]] (graded algebra)
 
In a precise sense, given by what is known as a ตามความรู้สึกในเชิง[[universalโครงสร้างสากล]] property|(universal construction]],) the exterior algebra is the พีชคณิตภายนอกเป็นพีชคณิตที่''largestใหญ่ที่สุด'' algebra that supports an alternating product on vectors, and can be easily defined in terms of other known objects such as ที่รองรับผลคูณแบบอื่นๆของเวกเตอร์และสามารถูกนิยามในรูปของวัตถุอื่นที่เรารู้จักเช่น[[tensorเทนเซอร์]]s. The definition of the exterior algebra makes sense for spaces not just of geometric vectors, but of other vector-like objects such as [[vector field]]s or [[function (mathematics)|functions]]. In full generality, the exterior algebra can be defined for [[module (mathematics)|modules]] over a [[commutative ring]], and for other structures of interest in [[abstract algebra]]. It is one of these more general constructions where the exterior algebra finds one of its most important applications, where it appears as the algebra of [[differential forms]] that is fundamental in areas that use [[differential geometry]]. Differential forms are mathematical objects that represent [[infinitesimal]] areas of infinitesimal parallelograms (and higher-dimensional bodies), and so can be [[integral|integrated]] over surfaces and higher dimensional [[manifold]]s in a way that generalizes the [[line integral]]s from calculus. The exterior algebra also has many algebraic properties that make it a convenient tool in algebra itself. The association of the exterior algebra to a vector space is a type of [[functor]] on vector spaces, which means that it is compatible in a certain way with linear transformations of vector spaces. The exterior algebra is one example of a [[bialgebra]], meaning that its [[dual space]] also possesses a product, and this dual product is compatible with the exterior product. This dual algebra is precisely the algebra of [[alternating multilinear form]]s on&nbsp;''V'', and the pairing between the exterior algebra and its dual is given by the [[interior product]].
 
==ตัวอย่างจูงใจ==