|
Classical Hamiltonian Quaternions
William Rowan Hamilton invented quaternions, a mathematical entity in 1843. This article describes Hamilton's original treatment of quaternions, using his notation and terms. Hamilton's treatment is more geometry, geometric than the modern approach, which emphasizes quaternions' algebraic properties. Mathematically, quaternions discussed differ from the modern definition only by the terminology which is used. Classical elements of a quaternion Hamilton defined a quaternion as the quotient of two directed lines in tridimension (vector space), dimensional space; or, more generally, as the quotient of two vectors. A quaternion can be represented as the sum of a #Scalar, ''scalar'' and a #Vector, ''vector''. It can also be represented as the product of its #Tensor, ''tensor'' and its #Versor, ''versor''. Scalar Hamilton invented the term ''scalars'' for the real numbers, because they span the "scale of progression from positive to negative infinity" or because they represent the " ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Rowan Hamilton
Sir William Rowan Hamilton (4 August 1805 – 2 September 1865) was an Irish astronomer, mathematician, and physicist who made numerous major contributions to abstract algebra, classical mechanics, and optics. His theoretical works and mathematical equations are considered fundamental to modern theoretical physics, particularly Hamiltonian mechanics, his reformulation of Lagrangian mechanics. His career included the analysis of geometrical optics, Fourier analysis, and quaternions, the last of which made him one of the founders of modern linear algebra. Hamilton was Andrews Professor of Astronomy at Trinity College Dublin. He was also the third director of Dunsink Observatory from 1827 to 1865. The Hamilton Institute at Maynooth University is named after him. Early life Hamilton was the fourth of nine children born to Sarah Hutton (1780–1817) and Archibald Hamilton (1778–1819), who lived in Dublin at 29 Dominick Street, Dublin, Dominick Street, later renumbered to 36. Ham ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel (geometry)
In geometry, parallel lines are coplanar infinite straight line (geometry), lines that do not intersecting lines, intersect at any point. Parallel planes are plane (geometry), planes in the same three-dimensional space that never meet. ''Parallel curves'' are curves that do not tangent, touch each other or intersect and keep a fixed minimum distance. In three-dimensional Euclidean space, a line and a plane that do not share a point are also said to be parallel. However, two noncoplanar lines are called ''skew lines''. Line segments and Euclidean vectors are parallel if they have the same direction (geometry), direction or opposite direction (geometry), opposite direction (not necessarily the same length). Parallel lines are the subject of Euclid's parallel postulate. Parallelism is primarily a property of affine geometry, affine geometries and Euclidean geometry is a special instance of this type of geometry. In some other geometries, such as hyperbolic geometry, lines can have ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rotation (mathematics)
Rotation in mathematics is a concept originating in geometry. Any rotation is a motion of a certain space that preserves at least one point. It can describe, for example, the motion of a rigid body around a fixed point. Rotation can have a sign (as in the sign of an angle): a clockwise rotation is a negative magnitude so a counterclockwise turn has a positive magnitude. A rotation is different from other types of motions: translations, which have no fixed points, and (hyperplane) reflections, each of them having an entire -dimensional flat of fixed points in a - dimensional space. Mathematically, a rotation is a map. All rotations about a fixed point form a group under composition called the rotation group (of a particular space). But in mechanics and, more generally, in physics, this concept is frequently understood as a coordinate transformation (importantly, a transformation of an orthonormal basis), because for any motion of a body there is an inverse transformat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a property of arithmetic, e.g. or , the property can also be used in more advanced settings. The name is needed because there are operations, such as division (mathematics), division and subtraction, that do not have it (for example, ); such operations are ''not'' commutative, and so are referred to as noncommutative operations. The idea that simple operations, such as the multiplication (mathematics), multiplication and addition of numbers, are commutative was for many centuries implicitly assumed. Thus, this property was not named until the 19th century, when new algebraic structures started to be studied. Definition A binary operation * on a Set (mathematics), set ''S'' is ''commutative'' if x * y = y * x for all x,y \in S. An operat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinal Analysis
In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory has a larger proof-theoretic ordinal than another it can often prove the consistency of the second theory. In addition to obtaining the proof-theoretic ordinal of a theory, in practice ordinal analysis usually also yields various other pieces of information about the theory being analyzed, for example characterizations of the classes of provably recursive, hyperarithmetical, or \Delta^1_2 functions of the theory. History The field of ordinal analysis was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that the proof-theoretic ordinal of Peano arithmetic is ε0. See Gentzen's consistency proof. Definition Ordinal analysis concerns true, effective (recursive) theories that can interpret a sufficient ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analysis
Analysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 BC), though ''analysis'' as a formal concept is a relatively recent development. The word comes from the Ancient Greek (''analysis'', "a breaking-up" or "an untying" from ''ana-'' "up, throughout" and ''lysis'' "a loosening"). From it also comes the word's plural, ''analyses''. As a formal concept, the method has variously been ascribed to René Descartes ('' Discourse on the Method''), and Galileo Galilei. It has also been ascribed to Isaac Newton, in the form of a practical method of physical discovery (which he did not name). The converse of analysis is synthesis: putting the pieces back together again in a new or different whole. Science and technology Chemistry The field of chemistry uses analysis in three ways: to i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplication Operator
In operator theory, a multiplication operator is a linear operator defined on some vector space of functions and whose value at a function is given by multiplication by a fixed function . That is, T_f\varphi(x) = f(x) \varphi (x) \quad for all in the domain of , and all in the domain of (which is the same as the domain of ). Multiplication operators generalize the notion of operator given by a diagonal matrix. More precisely, one of the results of operator theory is a spectral theorem that states that every self-adjoint operator on a Hilbert space is unitarily equivalent to a multiplication operator on an ''L''''2'' space. These operators are often contrasted with composition operators, which are similarly induced by any fixed function . They are also closely related to Toeplitz operators, which are compressions of multiplication operators on the circle to the Hardy space. Properties * A multiplication operator T_f on L^2(X), where is \sigma-finite, is bounded i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Right Angle
In geometry and trigonometry, a right angle is an angle of exactly 90 Degree (angle), degrees or radians corresponding to a quarter turn (geometry), turn. If a Line (mathematics)#Ray, ray is placed so that its endpoint is on a line and the adjacent angles are equal, then they are right angles. The term is a calque of Latin ''angulus rectus''; here ''rectus'' means "upright", referring to the vertical perpendicular to a horizontal base line. Closely related and important geometrical concepts are perpendicular lines, meaning lines that form right angles at their point of intersection, and orthogonality, which is the property of forming right angles, usually applied to Euclidean vector, vectors. The presence of a right angle in a triangle is the defining factor for right triangles, making the right angle basic to trigonometry. Etymology The meaning of ''right'' in ''right angle'' possibly refers to the Classical Latin, Latin adjective ''rectus'' 'erect, straight, upright, perp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Great Circle
In mathematics, a great circle or orthodrome is the circular intersection of a sphere and a plane passing through the sphere's center point. Discussion Any arc of a great circle is a geodesic of the sphere, so that great circles in spherical geometry are the natural analog of straight lines in Euclidean space. For any pair of distinct non- antipodal points on the sphere, there is a unique great circle passing through both. (Every great circle through any point also passes through its antipodal point, so there are infinitely many great circles through two antipodal points.) The shorter of the two great-circle arcs between two distinct points on the sphere is called the ''minor arc'', and is the shortest surface-path between them. Its arc length is the great-circle distance between the points (the intrinsic distance on a sphere), and is proportional to the measure of the central angle formed by the two points and the center of the sphere. A great circle is the largest ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Sphere
In mathematics, a unit sphere is a sphere of unit radius: the locus (mathematics), set of points at Euclidean distance 1 from some center (geometry), center point in three-dimensional space. More generally, the ''unit -sphere'' is an n-sphere, -sphere of unit radius in -dimensional Euclidean space; the unit circle is a special case, the unit -sphere in the Euclidean plane, plane. An (Open set, open) unit ball is the region inside of a unit sphere, the set of points of distance less than 1 from the center. A sphere or ball with unit radius and center at the origin (mathematics), origin of the space is called ''the'' unit sphere or ''the'' unit ball. Any arbitrary sphere can be transformed to the unit sphere by a combination of translation (geometry), translation and scaling (geometry), scaling, so the study of spheres in general can often be reduced to the study of the unit sphere. The unit sphere is often used as a model for spherical geometry because it has constant sectional cu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal (geometry)
In geometry, a normal is an object (e.g. a line, ray, or vector) that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the infinite straight line perpendicular to the tangent line to the curve at the point. A normal vector is a vector perpendicular to a given object at a particular point. A normal vector of length one is called a unit normal vector or normal direction. A curvature vector is a normal vector whose length is the curvature of the object. Multiplying a normal vector by results in the opposite vector, which may be used for indicating sides (e.g., interior or exterior). In three-dimensional space, a surface normal, or simply normal, to a surface at point is a vector perpendicular to the tangent plane of the surface at . The vector field of normal directions to a surface is known as '' Gauss map''. The word "normal" is also used as an adjective: a line ''normal'' to a plane, the ''normal'' component of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commensurability (mathematics)
In mathematics, two non- zero real numbers ''a'' and ''b'' are said to be ''commensurable'' if their ratio ' is a rational number; otherwise ''a'' and ''b'' are called ''incommensurable''. (Recall that a rational number is one that is equivalent to the ratio of two integers.) There is a more general notion of commensurability in group theory. For example, the numbers 3 and 2 are commensurable because their ratio, , is a rational number. The numbers \sqrt and 2\sqrt are also commensurable because their ratio, \frac=\frac, is a rational number. However, the numbers \sqrt and 2 are incommensurable because their ratio, \frac, is an irrational number. More generally, it is immediate from the definition that if ''a'' and ''b'' are any two non-zero rational numbers, then ''a'' and ''b'' are commensurable; it is also immediate that if ''a'' is any irrational number and ''b'' is any non-zero rational number, then ''a'' and ''b'' are incommensurable. On the other hand, if both ''a'' and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
