Dimension Theorem For Vector Spaces
In mathematics, the dimension theorem for vector spaces states that all bases of a vector space have equally many elements. This number of elements may be finite or infinite (in the latter case, it is a cardinal number), and defines the dimension of the vector space. Formally, the dimension theorem for vector spaces states that: As a basis is a generating set that is linearly independent, the dimension theorem is a consequence of the following theorem, which is also useful: In particular if is finitely generated, then all its bases are finite and have the same number of elements. While the proof of the existence of a basis for any vector space in the general case requires Zorn's lemma and is in fact equivalent to the axiom of choice, the uniqueness of the cardinality of the basis requires only the ultrafilter lemma, which is strictly weaker (the proof given below, however, assumes trichotomy, i.e., that all cardinal numbers are comparable, a statement which is also ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
![]() |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jean E
Jean may refer to: People * Jean (female given name) * Jean (male given name) * Jean (surname) Fictional characters * Jean Grey, a Marvel Comics character * Jean Valjean, fictional character in novel ''Les Misérables'' and its adaptations * Jean Pierre Polnareff, a fictional character from ''JoJo's Bizarre Adventure'' * Jean Luc Picard, fictional character from ''Star Trek Next Generation'' Places * Jean, Nevada, United States; a town * Jean, Oregon, United States Entertainment * Jean (dog), a female collie in silent films * "Jean" (song) (1969), by Rod McKuen, also recorded by Oliver * ''Jean Seberg'' (musical), a 1983 musical by Marvin Hamlisch Other uses * JEAN (programming language) * USS ''Jean'' (ID-1308), American cargo ship c. 1918 * Sternwheeler Jean, a 1938 paddleboat of the Willamette River See also *Jehan * * Gene (other) * Jeanne (other) * Jehanne (other) * Jeans (other) * John (other) John is a common Engl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Theorems In Abstract Algebra
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In mainstream mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice (ZFC), or of a less powerful theory, such as Peano arithmetic. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ''corollary'' for less important theorems. In mathematical logic, the concepts of theorems and proofs have been formalized in order to allow mathematical reasoning ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Rank–nullity Theorem
The rank–nullity theorem is a theorem in linear algebra, which asserts: * the number of columns of a matrix is the sum of the rank of and the nullity of ; and * the dimension of the domain of a linear transformation is the sum of the rank of (the dimension of the image of ) and the nullity of (the dimension of the kernel of ). p. 70, §2.1, Theorem 2.3 It follows that for linear transformations of vector spaces of equal finite dimension, either injectivity or surjectivity implies bijectivity. Stating the theorem Linear transformations Let T : V \to W be a linear transformation between two vector spaces where T's domain V is finite dimensional. Then \operatorname(T) ~+~ \operatorname(T) ~=~ \dim V, where \operatorname(T) is the rank of T (the dimension of its image) and \operatorname(T) is the nullity of T (the dimension of its kernel). In other words, \dim (\operatorname T) + \dim (\operatorname T) = \dim (\operatorname(T)). This theorem can be refined via th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Kernel (algebra)
In algebra, the kernel of a homomorphism is the relation describing how elements in the domain of the homomorphism become related in the image. A homomorphism is a function that preserves the underlying algebraic structure in the domain to its image. When the algebraic structures involved have an underlying group structure, the kernel is taken to be the preimage of the group's identity element in the image, that is, it consists of the elements of the domain mapping to the image's identity. For example, the map that sends every integer to its parity (that is, 0 if the number is even, 1 if the number is odd) would be a homomorphism to the integers modulo 2, and its respective kernel would be the even integers which all have 0 as its parity. The kernel of a homomorphism of group-like structures will only contain the identity if and only if the homomorphism is injective, that is if the inverse image of every element consists of a single element. This means that the kernel can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Range Of A Function
In mathematics, the range of a function may refer either to the codomain of the function, or the image of the function. In some cases the codomain and the image of a function are the same set; such a function is called ''surjective'' or ''onto''. For any non-surjective function f: X \to Y, the codomain Y and the image \tilde Y are different; however, a new function can be defined with the original function's image as its codomain, \tilde: X \to \tilde where \tilde(x) = f(x). This new function is surjective. Definitions Given two sets and , a binary relation between and is a function (from to ) if for every element in there is exactly one in such that relates to . The sets and are called the '' domain'' and ''codomain'' of , respectively. The ''image'' of the function is the subset of consisting of only those elements of such that there is at least one in with . Usage As the term "range" can have different meanings, it is considered a good practice to define ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Linear Transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism. If a linear map is a bijection then it is called a . In the case where V = W, a linear map is called a linear endomorphism. Sometimes the term refers to this case, but the term "linear operator" can have different meanings for different conventions: for example, it can be used to emphasize that V and W are real vector spaces (not necessarily with V = W), or it can be used to emphasize that V is a function space, which is a common convention in functional analysis. Sometimes the term ''linear function'' has the same meaning as ''linear map' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Matrix (mathematics)
In mathematics, a matrix (: matrices) is a rectangle, rectangular array or table of numbers, symbol (formal), symbols, or expression (mathematics), expressions, with elements or entries arranged in rows and columns, which is used to represent a mathematical object or property of such an object. For example, \begin1 & 9 & -13 \\20 & 5 & -6 \end is a matrix with two rows and three columns. This is often referred to as a "two-by-three matrix", a " matrix", or a matrix of dimension . Matrices are commonly used in linear algebra, where they represent linear maps. In geometry, matrices are widely used for specifying and representing geometric transformations (for example rotation (mathematics), rotations) and coordinate changes. In numerical analysis, many computational problems are solved by reducing them to a matrix computation, and this often involves computing with matrices of huge dimensions. Matrices are used in most areas of mathematics and scientific fields, either directly ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Steinitz Exchange Lemma
The Steinitz exchange lemma is a basic theorem in linear algebra used, for example, to show that any two bases for a finite- dimensional vector space have the same number of elements. The result is named after the German mathematician Ernst Steinitz. The result is often called the Steinitz–Mac Lane exchange lemma, also recognizing the generalization by Saunders Mac Lane of Steinitz's lemma to matroids. Statement Let U and W be finite subsets of a vector space V. If U is a set of linearly independent vectors, and W spans V, then: 1. , U, \leq , W, ; 2. There is a set W' \subseteq W with , W', =, W, -, U, such that U \cup W' spans V. Proof Suppose U=\ and W=\. We wish to show that m \le n, and that after rearranging the w_j if necessary, the set \ spans V. We proceed by induction on m. For the base case, suppose m is zero. In this case, the claim holds because there are no vectors u_i, and the set \ spans V by hypothesis. For the inductive step, assume the proposi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic operations other than the standard arithmetic operations, such as addition and multiplication. Elementary algebra is the main form of algebra taught in schools. It examines mathematical statements using variables for unspecified values and seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. Linear algebra is a closely related field that investigates linear equations and combinations of them called '' systems of linear equations''. It provides methods to find the values that solve all equations in the system at the same time, and to study the set of these solutions. Abstract algebra studies algebraic structures, which consist of a set of mathemati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Invariant Basis Number
In the mathematical field of ring theory, a ring ''R'' has the invariant basis number (IBN) property if all finitely generated free modules over ''R'' have a well-defined rank. In the case of fields, the IBN property is the fact that finite-dimensional vector spaces have a unique dimension. Definition A ring ''R'' has invariant basis number (IBN) if for all positive integers ''m'' and ''n'', ''R''''m'' isomorphic to ''R''''n'' (as left ''R''-modules) implies that . Equivalently, this means there do not exist distinct positive integers ''m'' and ''n'' such that ''R''''m'' is isomorphic to ''R''''n''. Rephrasing the definition of invariant basis number in terms of matrices, it says that, whenever ''A'' is an ''m''-by-''n'' matrix over ''R'' and ''B'' is an ''n''-by-''m'' matrix over ''R'' such that and , then . This form reveals that the definition is left–right symmetric, so it makes no difference whether we define IBN in terms of left or right modules; the two definitions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a ''module'' also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operations of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |