An equation is a mathematical statement, in symbols, that two things are exactly the same (or equivalent). Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and In Logic and Philosophy, proposition refers to either (a the content or Meaning of a meaningful Declarative sentence This is a listing of common symbols found within all branches of the science of Mathematics. Equations are written with an equal sign, as in
The equation above is an example of an equality: a proposition which states that two constants are equal. Equality is the paradigmatic example of the more general concept of Equivalence relations on a set those binary relations which are reflexive, symmetric In Logic and Philosophy, proposition refers to either (a the content or Meaning of a meaningful Declarative sentence Equalities may be true or false.
Equations are often used to state the equality of two expressions containing one or more variables. In mathematics the word expression is a term for any well-formed combination of mathematical symbols A variable (ˈvɛərɪəbl is an Attribute of a physical or an abstract System which may change its Value while it is under Observation. In the reals we can say, for example, that for any given value of x it is true that
The equation above is an example of an identity, that is, an equation that is true regardless of the values of any variables that appear in it. In Mathematics, the term identity has several different important meanings An identity is an equality that remains true regardless of the values of Logic is the study of the principles of valid demonstration and Inference. The following equation is not an identity:
It is false for an infinite number of values of x, and true for only two, the roots or solutions of the equation, x = 0 and x = 1. This article is about the zeros of a function which should not be confused with the value at zero. Therefore, if the equation is known to be true, it carries information about the value of x. To solve an equation means to find its solutions. In Mathematics, equation solving is the problem of finding what values ( Numbers functions, sets, etc
Many authors reserve the term equation for an equality which is not an identity. The distinction between the two concepts can be subtle; for example,
is an identity, while
is an equation, whose roots are x = 0 and x = 1. Whether a statement is meant to be an identity or an equation, carrying information about its variables can usually be determined from its context.
Letters from the beginning of the alphabet like a, b, c. . . often denote constants in the context of the discussion at hand, while letters from end of the alphabet, like x, y, z. . . , are usually reserved for the variables, a convention initiated by Descartes. A variable (ˈvɛərɪəbl is an Attribute of a physical or an abstract System which may change its Value while it is under Observation.
If an equation in algebra is known to be true, the following operations may be used to produce another true equation:
The algebraic properties (1-4) imply that equality is a congruence relation for a field; in fact, it is essentially the only one. See Congruence (geometry for the term as used in elementary geometry In Abstract algebra, a field is an Algebraic structure in which the operations of Addition, Subtraction, Multiplication and division
The most well known system of numbers which allows all of these operations is the real numbers, which is an example of a field. In Mathematics, the real numbers may be described informally in several different ways In Abstract algebra, a field is an Algebraic structure in which the operations of Addition, Subtraction, Multiplication and division However, if the equation were based on the natural numbers for example, some of these operations (like division and subtraction) may not be valid as negative numbers and non-whole numbers are not allowed. In Mathematics, a natural number (also called counting number) can mean either an element of the set (the positive Integers or an The integers are an example of an integral domain which does not allow all divisions as, again, whole numbers are needed. The integers (from the Latin integer, literally "untouched" hence "whole" the word entire comes from the same origin but via French In Abstract algebra, a branch of Mathematics, an integral domain is a Commutative ring with an additive identity 0 and a multiplicative identity 1 such However, subtraction is allowed, and is the inverse operator in that system. In Mathematics, if &fnof is a function from A to B then an inverse function for &fnof is a function in the opposite direction from B
If a function that is not injective is applied to both sides of a true equation, then the resulting equation will still be true, but it may be less useful. Formally, one has an implication, not an equivalence, so the solution set may get larger. The material conditional, also known as the material implication or truth functional conditional, expresses a property of certain Conditionals in Logic In Logic and Mathematics, logical biconditional (sometimes also known as the material biconditional) is a Logical operator connecting two statements The functions implied in properties (1), (2), and (4) are always injective, as is (3) if we do not multiply by zero. Some generalized products, such as a dot product, are never injective. In Mathematics, a product is the Result of multiplying, or an expression that identifies factors to be multiplied In Mathematics, the dot product, also known as the scalar product, is an operation which takes two vectors over the Real numbers R