Some math expressions look strange until you connect them to something real.
\nHere are a few that make more sense with the right picture in mind.<\/p>\n
Zero divided by zero is not zero, but undefined.
\nLet's think of a law enforcement agent working with an informant, and receiving regular tips:<\/p>\n
2\/4 = 0.5<\/code>.<\/li>\n- Week 2<\/strong>: The agent gets 3 tips, and again decides to raid all, but finds nothing. Success rate of the informant can be said to be
0\/3 = 0<\/code>.<\/li>\n- Week 3<\/strong>: The agent gets 5 tips, but this time decides to raid none of them. Success rate:
0\/0<\/code>.<\/li>\n<\/ul>\nThis last case is different. No raids mean no chance to measure success or failure.
\nWe can't say the informant was bad (0 success), and we can't say good either.
\nThat's why 0\/0<\/code> is undefined, not zero.<\/p>\n0! (Zero factorial)<\/h3>\n
Zero factorial is not 0, but 1.
\nThe factorial is a fundamental concept in combinatorics, the study of counting.
\nThe number of ways to arrange n<\/code> distinct objects is given by n!<\/code>.<\/p>\nFor example:<\/p>\n
There are 3! = 6<\/code> ways to arrange three different books on a shelf.
\nThere are 2! = 2<\/code> ways to arrange two different books.
\nThere is 1! = 1<\/code> way to arrange one book.<\/p>\nNow, how many ways are there to arrange zero books?<\/p>\n
If you have a set with zero objects (an empty set), there is only one way to arrange them: by doing nothing.
\nThe "arrangement" is the empty shelf arrangement itself.<\/p>\n
So, the number of ways to arrange zero objects is 1.
\nTherefore, 0! = 1<\/code>. This interpretation is the one most commonly used in mathematics to define 0!.<\/p>\ni (Unit imaginary number)<\/h3>\n
Unit imaginary number, the square root of -1<\/code>, corresponds to 90 degrees in 2D vector space.
\nBut it isn't so imaginary if you think of it as a rotation.
\nFirst consider multiplying a number by -1<\/code>. This changes its direction by 180 degrees on the number line.
\nMultiplying a number by i<\/code>, corresponds to rotating it 90 degrees.
\nDoing this again results in a 180 degrees rotation.
\nThat's the same as flipping to the negative side: i \u00d7 i = -1<\/code>.
\nThis is the geometric reason why i = \u221a-1<\/code>.<\/p>\n0\u2070 (Zero to the power of zero)<\/h3>\n
At first glance, 0 raised to the power of 0 looks like nonsense.
\nOne may be tempted to say it is 0<\/code>.
\nParticularly in mathematical analysis, it is often considered an indeterminate form.
\nBut in combinatorics and algebra it is actually just 1<\/code>.<\/p>\nThis one may not sound as intuitive as the ones above, but let's start with a foundational combinatorial principle:
\nIf we have a set A<\/code> with k<\/code> elements and a set B<\/code> with n<\/code> elements, the number of possible functions (or mappings) from set A to set B is given by n\u1d4f<\/code>.<\/p>\nWhen we say "number of possible functions" we mean: how many different ways can we assign each element of one set (the domain) to elements of another set (the codomain).<\/p>\n
For example:<\/p>\n
\n- Domain =
{Alice, Bob}<\/code> (2 people).<\/li>\n- Codomain =
{Coffee, Tea, Juice}<\/code> (3 drinks).<\/li>\n- Alice can pick any of the 3 drinks.<\/li>\n
- Bob can also pick any of the 3 drinks, no matter what Alice chose.<\/li>\n
- That gives
3\u00b2 = 9<\/code> different "assignment rules".<\/li>\n<\/ul>\nEach of those 9 is a distinct function (one might map both names to Coffee, another maps Alice to Tea<\/code>, Bob to Juice<\/code>, etc.).
\nBut at the end there 9 different functions can exist for this mapping. Let's list all those functions actually:<\/p>\n\n- Function 1:
Alice \u2192 Coffee, Bob \u2192 Coffee<\/code><\/li>\n- Function 2:
Alice \u2192 Coffee, Bob \u2192 Tea<\/code><\/li>\n- Function 3:
Alice \u2192 Coffee, Bob \u2192 Juice<\/code><\/li>\n- Function 4:
Alice \u2192 Tea, Bob \u2192 Coffee<\/code><\/li>\n- Function 5:
Alice \u2192 Tea, Bob \u2192 Tea<\/code><\/li>\n- Function 6:
Alice \u2192 Tea, Bob \u2192 Juice<\/code><\/li>\n- Function 7:
Alice \u2192 Juice, Bob \u2192 Coffee<\/code><\/li>\n- Function 8:
Alice \u2192 Juice, Bob \u2192 Tea<\/code><\/li>\n- Function 9:
Alice \u2192 Juice, Bob \u2192 Juice<\/code><\/li>\n<\/ul>\nEach of these functions would take a name as input and return a drink as output.
\nAnd as you can see there 3\u00b2 = 9<\/code> distinct functions. No more, no less.<\/p>\nNow let's apply this to the case of 0\u2070<\/code>.
\nWe need to consider the number of functions from a set of size 0<\/code> to a set of size 0<\/code>.<\/p>\n\n- Domain: is a set with 0 elements, which is the empty set, denoted by
\u2205<\/code>.<\/li>\n- Codomain: is also the empty set,
\u2205<\/code>.<\/li>\n- So, we are trying to find the number of functions
f: \u2205 \u2192 \u2205<\/code>.
\nA function is a rule that assigns each element of the domain to exactly one element of the codomain.
\nLet's follow this rule for our two empty sets:<\/p>\n\n- "...assigns each element of the domain..."<\/em>\n
\n- The domain is the empty set. It has no elements.<\/li>\n
- This condition is satisfied because there are no elements to assign. The rule "for each element" is trivially true because there are no elements to check.<\/li>\n<\/ul>\n<\/li>\n
- "...to exactly one element of the codomain."<\/em>\n
\n- This part of the rule is also satisfied, again because there are no elements to assign.<\/li>\n<\/ul>\n<\/li>\n<\/ol>\n<\/li>\n<\/ul>\n
So, the "rule" of the function holds true. The assignment is just a "do nothing" assignment. There is exactly one way to do nothing.
\nThe "one way to do nothing" is the empty function.
\nSince there is only one such function (the empty function itself), the number of ways to map elements from a set of 0 elements to a set of 0 elements is 1. Therefore, 0\u2070 = 1<\/code>.<\/p>\nNegative exponent<\/h3>\n
Exponents don't stop at whole numbers. Once you see the pattern, negatives and fractions fit naturally.<\/p>\n
a\u207b\u00b9<\/code> just means "divide by a".
\nBecause a\u00b9 \u00d7 a\u207b\u00b9 = a\u207d\u00b9\u207b\u00b9\u207e = a\u2070 = 1<\/code>.
\nExample: 2\u207b\u00b9 = 1\/2<\/code>, 10\u207b\u00b9 = 1\/10<\/code>.
\nIn general: a\u207b\u207f = 1 \/ (a\u207f)<\/code>.
\nThis comes directly from the rule a\u1d50 \u00d7 a\u207f = a\u207d\u1d50 \u207a \u207f\u207e<\/code>.
\nIf you want exponents to add consistently, negative exponents must represent division.<\/p>\nFractional exponent<\/h3>\n
a\u00b9\u141f\u00b2<\/code> means "a number that when multiplied by itself gives a<\/code>".
\nBecause a\u00b9\u141f\u00b2 \u00d7 a\u00b9\u141f\u00b2 = a\u207d\u00b9\u141f\u00b2 \u207a \u00b9\u141f\u00b2\u207e = a\u00b9 = a<\/code>.
\nThat's why a\u00b9\u141f\u00b2<\/code> is the square root.<\/p>\nSimilarly, a\u00b9\u141f\u00b3<\/code> means "a number that when multiplied by itself three times gives a<\/code>".
\nBecause a\u00b9\u141f\u00b3 \u00d7 a\u00b9\u141f\u00b3 \u00d7 a\u00b9\u141f\u00b3 = a\u207d\u00b9\u141f\u00b3 \u207a \u00b9\u141f\u00b3 \u207a \u00b9\u141f\u00b3\u207e = a\u00b9 = a<\/code>.
\nThat's why a\u00b9\u141f\u00b3<\/code> is the cube root.<\/p>\nMore generally:
\na\u00b9\u141f\u207f<\/code> is the n-th<\/code> root of a<\/code>.
\na\u1d50\u141f\u207f = (a\u00b9\u141f\u207f)\u1d50<\/code>.<\/p>\nExample: 8\u00b2\u141f\u00b3 = (8\u00b9\u141f\u00b3)\u00b2 = 2\u00b2 = 4<\/code>.<\/p>\n","protected":false},"excerpt":{"rendered":"Some math expressions look strange until you connect them to something real. Here are a few that make more sense with the right picture in mind. 0\/0 (Zero divided by zero) Zero divided by zero is not zero, but undefined. Let’s think of a law enforcement agent working with an informant, and receiving regular tips: […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-267","post","type-post","status-publish","format-standard","hentry","category-development"],"_links":{"self":[{"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/posts\/267","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/comments?post=267"}],"version-history":[{"count":15,"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/posts\/267\/revisions"}],"predecessor-version":[{"id":282,"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/posts\/267\/revisions\/282"}],"wp:attachment":[{"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/media?parent=267"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/categories?post=267"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/erkanyildiz.me\/blog\/wp-json\/wp\/v2\/tags?post=267"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}