UPDATE: Great work everyone! We've locked this discussion so that we can create the (initial) glossary, which is now up and running! This looks great!
We've started a separate discussion for edits / feedback / comments / more definitions.
We think it would be helpful for Brilliant to have a glossary of terms (a collection of short definitions that explain important vocabulary). Having this available on our site will help ensure that everyone on Brilliant is using mathematical terminology in the same way, and we'd like to invite you to help us make it great. This is an opportunity for you to contribute to the community and help other students. (In the final version of the glossary, we will recognize members who have been particularly helpful.)
We will use this discussion to propose terms that should be included in the glossary and also to provide and vote on definitions.
Our goal is to gather a collection of clearly stated definitions for algebra terms. Some guidelines:
- Only ALGEBRA in this discussion, please. We'll do other topics if this work well.
- We're looking for definitions of basic terms that you'd come across while solving Brilliant problems not every term/formula/theorem you can think of. Terms are words like "absolute value" or "quadratic."
- A glossary should have definitions, not essays or proofs. Keep things short. ("Keep it to one sentence" is a good rule of thumb.)
- Well-chosen examples can be very helpful.
Rules to keep things organized and civil:
- Top level replies (replies in the box directly below this message) should only contain a single term that you think belongs in the glossary. One term per post. Make sure your term isn't already listed (you might want to use your browser's search function), so we can avoid duplicates.
- Reply to the term you want to define with a defintion you'd like to propose. One definition per reply.
- Vote up terms and definitions you like. If you see a definition you disagree with, vote it down and write a better one.
- IMPORTANT: Only one term or definition per post, please.
#BrilliantAnnouncements
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
UPDATE: Great work everyone! Things have slowed down, so we'll leave this discussion open until Friday and then close it down. We'll work on building out the first draft of our Algebra glossary next week!
Variable
A variable is a symbol, often a letter, which is used to represent a value which may change within the context of the given problem. Example: x and y are variables in the expression y=x2+4.
Complex Number
A number in the form a+bi, where a and b are real numbers and i is the imaginary unit.
For example: 3+4i.
Note that all real numbers are complex numbers as well with the imaginary part b being zero.
For example: 5 is a complex number of the form 5+0i.
Note that R⊆C.
The real numbers (symbolized by the hollow R) is a subset of the complex numbers (symbolized by the hollow C). This means that real numbers are a type of complex numbers. Stated differently, all real numbers are complex, but not all complex numbers are real.
Good point, though should it be added? (I have no opinion)
Also, should we mention that the complex numbers are denoted by C? Or should we verbally say that "the real numbers are a subset of the complex numbers".
C∗ would be the complex numbers without 0.
Absolute Value
The absolute value of a complex number z=a+bi, represented by ∣z∣ is the euclidean distance of that complex number from the origin in the argand plane.
In other words ∣a+bi∣=a2+b2.
Represented by ∣x∣, it is the distance from zero to that number x.
The absolute value of a real number x, denoted ∣x∣, is defined by ∣x∣={x−x if x≥0 if x<0.
I don't like it for the reason that "distance" is poorly defined.
Indices and Surds
Floor
⌊x⌋ is the greatest integer function, or the floor function, which gives the greatest integer less than or equal to x. [example]
For example ⌊2.99⌋=2 and ⌊−1.1⌋=−2
Polynomial
A polynomial in x is an algebraic expression of the form
a_nx^n+a_{n-1}x^{n -1}+\cdots a_3x^3 + a_2x^2 + a_1x + a_0 where the indices are non-negative integers.
For example, P(x)=x2+x+1 is a polynomial in x because the indices are non-negative integers. So, is P(x)=5, because the index of x is 0 [a non-negative integer]. However P(x)=x+x5 is not a polynomial in x because the indices of x are 21 and−1 respectively, neither of which is a non-negative integer.
Coefficient
A number or constant by which a term involving variables of an algebraic expression is being multiplied. Example: 4 and -5 are coefficients in the expression 4x+xy−5y.
Ceiling
⌈x⌉ is the least integer function, or the ceiling function, which gives the smallest integer greater than or equal to x.
My question: why did everyone vote up ceiling when floor is used so much more often?
Exactly, floor doesn't need much explanation.
Relatively Prime, Coprime
Two integers x,y are relatively prime, mutually prime, or coprime if and only if the only positive integer that they can both be divided by evenly is 1. Equivalently, their greatest common denominator gcd(a,b)=1, and no prime number divides both a and b. Example: 6 and 35 are coprime, while 15 and 35 are not because 5 divides them both.
In cases where there are multiple equivalent terms, I think it would be best for the initial defining term to state the terms, but not include them in the definition. For examples,
Relatively prime, Coprime, Mutually prime. Two integers x and y are relatively prime if and only if ....
Vote up (on this comment) if you agree, vote down if you would rather have it as
Relatively prime, Coprime, Mutually prime. Two integers x and y are relatively prime, mutually prime, or coprime, if and only if ....
What would be meant by the statement: "x,y and z are coprime"?
Are the numbers 6,14, 21 coprime since gcd(6,14,21)=1? Or are they not coprime since gcd(6,14)=1?
Imaginary Unit
Represented by i=−1
Represented by i2=−1
This definition may be a bit confusing, because is the imaginary unit i or i2? You could say "The imaginary unit is represented by i, such that i2=−1." Or you could just you my shorter definition.
My vote is for Christophers definition, as that is how i was introduced to us when doing university here.
i2=−1" has two solutions for i, yet we only assign one value to i, that being the positive square root of negative one.
Actually, my definition is the better one. For the statement "i2=−1 is THE definition of i.
The choice of the root doesn't matter, and it's quite arbitrary to pick one root over the other. Also, it's quite odd to talk about positive and negative when dealing with complex numbers. It's true that most people think of i as the square root of −1, but that's not how i was defined.
EDIT: re-reading my comment I feel I have to add that I'm not trying to be an ass :)
i2 [Just read the term and the definition at once. Imaginary unit: represented by i2=−1. That is confusing, at least to me.]
I actually agree with Bob. The thing with Christopher's definition is that it can mislead people into thinking that the imaginary unit is represented byHowever, you are right. i2=−1 is THE definition of i. So my definition [which is the same as Bob's latter definition] would be:
The imaginary unit is represented by i such that i2=−1.
Tuple
A tuple is an ordered list of elements.
(2,3,5,7,11) is an example of a 5-tuple.
A 2-tuple is generally called an ordered pair while 3-tuples and 4-tuples are called ordered triples and quadruples respectively.
And a 3-tuple an ordered triple.
Do the elements of a tuple have to be in order like in your example, or are (1,2,3) and (3,1,2) two different 3-tuples?
Editted to 3-tuples
It would be best to give an example where the elements of the tuple aren't in order:
(2,7,3,11,5) is an example of a 5-tuple.
We rarely use the word "Tuple". Perhaps, it's better to call this "Ordered Pair", and then add on "Ordered triple, ordered quadruple"?
An ordered pair is also a concept that many people struggle with when they first see it. Is there a way we could make it clearer? Perhaps also explain that (1,2) and (2,1) are 2 different ordered pairs?
A k-tuple is an ordered set with k elements. In math, this notation is often preferred when talking about an arbitrary k, or when standard naming becomes onerous, i.e. we all know "pair" or "triple" but calling an ordered set of 6 elements a "sextuple" and so forth can be inconvenient and unnecessary.
Constant function
A constant function is a function whose value remains the same for all inputs.
For example: f(x)=7 is a constant function.
Conjugate
The conjugate of a binomial is the binomial obtained by multiplying the second term by −1. Example: the conjugates of x+2,x+3, and −1+4i are x−2,x−3, and −1−4i, respectively.
I like this better because conjugates exist or can be extended in many commutative rings besides the complex numbers.
Hmm, two of these examples contradict the definition for complex numbers.
x all of the above are complex numbers. And as i said, they don't have to be complex to have a conjugate?
Wait what. At least for real or complexx+2 can be written as a complex number (x+2)+0∗i. The latter is a binomial with terms (x+2) and 0∗i.
A real numberIs the conjugate x−2 or (x+2)−0∗i?
I'd think to assume the conjugate is in the terms of the binomial as given, or the complex conjugate should be specified.
In mathematics, complex conjugates are a pair of complex numbers, both having the same real part, but with imaginary parts of equal magnitude and opposite signs. For example, 3+4i and 3−4i are complex conjugates.
The conjugate of the complex number Z
Z=a+bi
where a and b are real numbers, is
Z=a−bi
For Example ,
10−5i=10+5i
More concisely, the conjugate of a complex number is the complex number with the same real part but opposite imaginary part.
Extraneous Solution
An extraneous solution to an equation is a solution that emerges from the process of solving the equation but isn't a valid solution to the original problem.
Take this for example.
Solve for x: 2x+7+3=0.
Adding −3 to the equation and squaring both sides give us:
2x+7=9.
So, x should be equal to 1. However, it is not.
Plug x=1 in the original equation to get 3+3=0. Actually this equation has no solution and 1 is an extraneous root which emerged because we squared the original equation.
Discriminant
Discriminant is the number Δ=b2−4ac for the quadratic equation ax2+bx+c=0.
By the way, the term 'discriminant' isn't used only for quadratic polynomials. For example: the discriminant of the polynomial ax3+bx2+cx+d [a=0] is b2c2−4ac3−4b3d−27a2d2+18abcd.
The discriminant of a polynomial, normally denoted by Δ, is an expression comprised of the coefficients of the polynomial and it gives information about the nature of the roots of the polynomial.
For example if the discriminant of a polynomial is less than zero [i.e. Δ<0], the polynomial has no real root.
Distinct
Distinct*
Two objects are distinct if they are not exactly the same.
For example the set {1,2,3} consists of distinct numbers, while the multiset {1,2,1} does not.
Saying a collection has distinct elements means that no two of them are the same.
Arithmetic Sequence
A sequence of numbers in which each term is a certain amount d different than its preceding term, where d can be any real number.
d is called the 'difference' and can be a complex number as well.
Geometric Sequence
A sequence of numbers in which each term is in the same ratio r with its preceding term, where r can be any non zero number
A sequence of numbers in which each subsequent number is obtained by multiplying with the same factor r, where r can be any complex number.
Function
An operation or set of operations on a set called the domain, resulting in a set called the range. For every value in the domain, there is only one corresponding value in the range.
Summation
Monic Polynomial
A polynomial with leading coefficient equaling 1.
Recurrence Relation
A process or sequence in which the next step or term is defined by one or more of the previous terms. [example]
Example: the Fibonacci sequence is defined by Fn=Fn−1+Fn−2,F0=0,F1=1. This gives the first few terms 0,1,1,2,3,5,8,13,....
Could we change the term to "Recurrence Relation" then? It fits the definition you provided better. Recursion in general is a bit broad, and we're only doing algebra right now anyways.
Argument
Rational
Any number that can be written as a fraction qp, where p and q are both integers and q=0
Note also that rational numbers can be negative; also, since we can have q=1, every integer is rational.
The set of rational numbers is denoted by Q.
Q∗ denotes the rational numbers without 0.
...And q=0.
Leading Coefficient
The leading coefficient of a polynomial is the coefficient of the term with the highest degree.
For example: in the polynomial P(x)=3x2−5x4+3, the term with the highest degree is −5x4. So the leading coefficient is −5.
It might be better to give a polynomial where the initial term is not the term with highest degree. E.g. P(x)=3x2−5x4+3.
Injective Function
An injective function, also known as a "One-to-One function", is a function where every value in the domain has only one corresponding value in the range, and vice versa.
A function is injective if and only if its inverse is a function.
Not exactly true, this would be a bijective function.
An injective function is a function where all elements in the range have a unique element in the domain.
More mathematically put: For all elements in the domain we have f(a)=f(b)⇒a=b
The problem is that we tend to define functions and treat them on their domain and range alone, but this doesn't always have to be the case.
For example the function f:R∗→R defined by f(x)=x1 is an injective, but not surjective function as there is no element a so that f(a)=0.
Surjective Function
A surjective function is a function where every value in the range has at least one corresponding value in the domain.
You should probably call the codomain the range to retain the continuity with the other definitions.
For example, in the function f:R→R where f(x)=x2, the codomain would be the set of all real numbers, but the range would only contain values ≥0.
For example f:R→R+∪ {0} defined by f(x)=∣x∣ is a surjective but not injective function.
Bijective Function
A bijective function is a function which is both injective and surjective.
Alternately: A bijective function is a function where each value in its codomain is taken on exactly once.
Also known as a one-to-one function.
Logarithm
If x=ay, then y is the logarithm of x to the base a and it is denoted as y=logax
Or y= alog(x)
Set
A set is a well-defined group of objects. For example, the set of all positive integers less than 11 consists of {1,2,3,4,5,6,7,8,9,10}.
A remark:
0 is a natural number.
A note:
Every element in the set is unique. The empty set exists and is denoted by {} or ∅.
As Tim has pointed out, whether 0 is a natural number or not is debated. So just to be on the safe side, I'm changing 'natural numbers' into 'positive integers' [unless you consider 0 to be a positive integer. Some people do. See here.].
0 is a natural number or not.
There is a lot of debate about whetherAs a side note, some cultures consider 0 a positive number.....
Origin
The origin is the point (0,0) in Cartesian coordinates. It is the point where the x- and the y-axes intersect.
Root
The roots (also called zeroes) of a polynomial are those values for which the polynomial is equal to zero.
For example: the roots of the polynomial x2−5x+6 are 2 and 3.
Function used to calculate x when x2=a:
x=a⇒x2=a.
Interval
An interval is a connected set of real numbers.
If x is in the interval [a,b], then a≤x≤b.
If x is in the interval (a,b], then a<x≤b.
If x is in the interval [a,b), then a≤x<b.
If x is in the interval (a,b), then a<x<b.
The word "continuous" is wrong here - you mean "connected".
In the real line R, an interval I is characterised by the property that if a,b∈I, then every real number between a and b also belongs to I. This property copes with open, closed, bounded and unbounded sets.
f is continuous if f(xn)→f(x) whenever xn→x (if it is a map between two metric spaces. A set cannot be continuous.
"Continuous" in mathematics has a particular meaning, and is a property of functions. A function"Connected" is a property of sets. Its definition is quite subtle, but in easy cases it corresponds to the idea of "all in one piece", which is the idea you were trying to convey by using "continuous". To get technical, a connected set S is one that cannot be written as the union of two disjoint nonempty open (in S) sets. Intervals are connected; indeed, they are the only connected subsets of R.
I was pointing out that you were using the technical word "continuous" in a non-technical manner. The aim here is to compile a glossary of technical terms, so we had better be precise.
Perhaps this should be separated into closed and open intervals?
Radian measure of an angle
One radian (1 rad) is the angle given by measuring one radius along the perimeter of the circle with said radius.
Thus it is 2π1 part of a full turn.
Identities
An identity is an equation that is true for every possible value of the unknowns. For example, the equation 4x= x+ x+ x+ x is an identity, but 2x + 3 = 15 is not [true only for x=6].
Inequality
In mathematics, an inequality is a statement that states that two things are not equal.
The statement “x is less than y” is written as x < y and the statement “x is greater than y” is written as x > y.
Both of these statements are inequalities because they imply that x and y are not equal to each other.
Equation
A statement stating the equivalence of two mathematical expressions by the use of the equal sign "=".
Expression
A representation of a value by combining numbers and/or variables with mathematical operations.
Abscissa and Ordinate
The first and second entry respectively in an ordered pair.
Sequence
An ordered set of numbers, usually defined by some function or iterative process.
It doesn't have to be numbers though. A sequence of functions comes to mind for algebra.
Series
The sum of a sequence.
Degree
The power of the term with the highest power. [Example may be needed]
The angle made by taking 3601 part of a full turn.
Domain and Range
Domain is the set of numbers on which a function is defined, and the range is the set of values which the domain produces when evaluated with the said function.
Cartesian Plane
The standard x-y coordinate plane, where the two axes are perpendicular to each other.
Arithmetic, Geometric, and Harmonic Mean (not the inequality)
Quadrants
The four parts of a Cartesian plane, not including the axes; The upper right is the first quadrant, the upper left is the second quadrant, the bottom left is the third quadrant, and the bottom right is the forth quadrant.
Integer
Any number with no decimal or fractional part, either a whole number, a negative whole number, or zero. The set of all integers is represented by Z.
Domain
The set of input values, or x-values in a relation.
Range
The set of output values, or y-values of a relation.
Positive number
A real number x is called positive if x>0.
Negative number
A real number x is called negative if x<0.
Multiset
A multiset is a collection of objects, where one object can appear more than once.
For example:
{1,2,3,3,4} is a multiset consisting of 5 elements.
Natural number
Natural numbers are a set of numbers such that
1 is in the set.
If n is in the set, (n+1) is also in the set.
These numbers are also called positive integers.
[By the way, I propose that the term 'natural numbers' be excluded from the glossary. Use 'positive integers' or 'non-negative integers' in appropriate places. For example, the statement '22n−1+1 is divisible by 3 for all natural numbers n' is confusing because for n=0, the statement is incorrect. So to avoid all sorts of confusion it's better to use the term 'positive integers' here.]
Not using the term 'natural numbers' because we can also describe them non-negative/positive integers is not convincing to me; we can descibe the integers with 'rationals with denominator equal to 1' ;)
Also, changing your statement to '22n+1+1 is divisible by 3 for all natural numbers n' makes it a statement in favor of including 0 ;)
Do a survey and you'll find out that there's a significant number of people on both sides: people who have used 0 as a natural number and people who have not. Yes, we can describe the integers with 'rationals with denominator equal to 1, but what good will that do?
The example I provided was a textbook problem. People who consider 0 to be a natural number are likely to be a little confused by it.
If you don't include 0 in the natural numbers, it is still a monoid under the operation of multiplication ;)
Finally, I want to say that I'm neither advocating for nor against 0 being a natural number. No matter how many reasons you have for 0 being a natural number, in the end it's all about convention. It doesn't really matter. Using the term 'natural numbers' without being explicitly clear what you mean by it will confuse people.
Using terms like 'non-negative integers' or 'positive integers' can easily solve this problem. That's all I'm saying.
We'll have to make sure positive and negative make it to the glossary then!
A number from the set {0,1,2,3,4,...}. This set is denoted by N.
N∗ denotes the natural numbers without 0.
Sometimes referred to as 'counting numbers'.
I realise there is a possible discussion about the number 0. The glossary is meant for these kind of situation as well, so we will have to make a choice here. As the majority of mathematicians includes 0 here, I propose to do the same.
Interesting, how so many people have this view. I have always been taught that the natural numbers are the counting numbers, the positive numbers, all integers greater than or equal to one. The natural numbers which you propose I call the whole numbers, and for this reason: Natural numbers are natural; they are supposed to be intuitive. While humans had these counting numbers (greater than or equal to one) for eons, zero did not arise until a few thousand years ago. Zero, the concept of nothing, is a challenging one for most young kids. It is much easier to think of something, as compared to thinking of absolutely nothing, a void, because we never really experience nothing too often. It is hard (usually) to notice nothing. With zero being less intuitive, less natural then, I have never included it in the set of Natural numbers. (I am, however, very explicit when using notation involving natural numbers so that everything is clear.)
Does anyone else agree?
Do you have some sort of statistics? Because almost all the books I've read exclude 0 from the set of natural numbers. The set example I mentioned above is taken from the 'Dictionary of Mathematical Terms' by Douglas Downing (3rd edition).
Also from Wikipedia:
Natural numbers are called counting numbers. You can't count with zero. Can you?
In the end, it is a matter of what you prefer. I mean nothing terrible's going to happen if you don't consider 0 to be a natural number. I'm adding my definition as well.
I made a snowman. A truck crashed into it. I now have half a snowman.
I had a pie. Friends ate a part of it. I now have a quarter of a pie.
The name 'natural numbers' is misleading as it implies that only those numbers arise in nature, which of course is not true. An even more extreme example: in quantum mechanics a lot of the formulas deal with complex numbers, suggesting that even the complex numbers are dealing with nature.
I have no statistics though, but there's a good reason to include 0: it makes the natural numbers a monoid (group without inverse).
Real number
Real numbers are those numbers which can be represented by points on a straight line. The set of real numbers includes all rational and irrational numbers.
Note that real numbers are complex numbers with the imaginary part equaling zero.
2, 0, 5.66, π, −53 are all examples of real numbers.
According to this math program I went to:
An element of an ordered field in which the least upper bound property holds.
Mod function
This is more number theory.
Golden Rule of Algebra
What you do onto one side of an equation must be done on the other side as well.
I'm not sure if this is the proper term for this, though.
Bijection
More of a combinatorics thing.
GCF
This is Number Theory.
The Greatest Common Factor of a set of numbers is the largest number that divides every prior number.
GCF is also called Greatest Common Divisor (GCD) and Highest Common Factor (HCF).
Good to point that out. Mathematical terminology is not standardized across the globe, and it is useful to state the different names for a given term.
LCM
The Least Common Multiple of a set of numbers is the smallest number into which each of the prior numbers divide.
This is Number Theory.
Good Point.
e=lim{tends to infinity}--->(1+(1/n))^n
Sharky,
It would be better to put the term, without a definition, at this level. "e" is an appropriate algebra term, but you should let people vote on the term and definition separately.
Group
A set S with a law of composition such that the law of composition is associative, there exists an identity 1, and every a∈S has an inverse a−1
I don't think the definition of a group is something that can be considered as 'basic algebra'. I also think you'd need to know about 'association', 'identity', 'law of composition' to actually understand what your definition is trying to say.