Algebraic Linguistics

post by abstractapplic · 2024-12-07T19:18:39.935Z · LW · GW · 27 comments

Contents

  a
  b
  c
  d
  e
  f
  g
  h
  i
  j
  k
  l
  m
  n
  o
  p
  q
  r
  s
  t
  u
  v
  w
  x
  y
  z
  Note: Capitalization and the Identical Sign
None
27 comments

One of the first things they teach you in algebra is that the letters you use to signify variables are arbitrary, and you can use whatever you want[1]. Like most of the 'first things' students are taught, this is almost entirely a lie: every letter has implicit connotations, and if (for example) you use "n" for a non-integer variable, it'll confuse someone reading your work. More importantly, if you don't know what symbol choices imply, it'll be harder for you to understand what an equation is implicitly communicating, making it even more difficult to grasp the concepts that are actually being laid out.

So I've decided to go through the English alphabet and explicitly explain the connotations of each character as they might be used by a [unusually-bright-highschooler|reasonably-clever-college-student]-level mathematician working in pure(-ish) mathematics (with a little statistics/mechanics, as a treat). If you've finished (and still remember) highschool math, you're unlikely to get much out of this: still, I suspect there are a decent number of readers who might benefit from the below being spelled out.

a

b

c

d

e

f

g

h

i

j

k

l

m

n

o

p

q

r

s

t

u

v

w

x

y

z

Note: Capitalization and the Identical Sign

Something I didn't get a good opportunity to mention during the list proper: capital letters from the start of the alphabet are often used with the triple-equals Identical Sign in a counterintuitive way.

You can say things like "x=3", and this is true for some value of x; however, there are statements like "5x=3x+2x" which are tautologically true for every value of x. For these, we use ≡, as in "5x≡3x+2x". To put it another way: if "=" means "happens to be equal to"; "≡" means "is literally another way of saying".

Sometimes (usually, using Partial Fractions), it isn't obvious how best to rephrase an equation, so we need to use algebra to figure out what numbers to use in the algebra we're using. This happens like "7y + 6x ≡5y + Ay + 3x + Bx"; here, the identity sign implicitly applies for-and-only-for the lowercase variables, and we 'solve' it by getting the right numbers for the uppercase numbers (in this case, A=2, B=3).

 

  1. ^

    "You can draw a little flower if you like!", as I recall one of my teachers saying.

  2. ^

    If a mathematician is being nice, they might italicize "f" to make it clearer it's not being used as a variable. Most mathematicians are not (this particular kind of) nice, and will expect you to know that f (and sometimes g, and occasionally h) are being used as functions just from context and convention.

  3. ^

    This is another thing which should be consistently italicized due to its non-variable status, but isn't.

  4. ^

    "But wait!" I hear you cry. "If i means 'along', and j means 'something orthogonal to along', and imaginary numbers are orthogonal to the number line, wouldn't it make more sense to use j as the square root of -1?" During my teenage years there was a movement in some parts of my country's education system to make this exact change for this exact reason, but it didn't catch on; the would-be linguistic revolutionaries eventually abandoned their cause, leaving only confusion and waste in their wake. (Many such cases.)

  5. ^

    Interestingly, you could say this regardless of what route you took to get there.

  6. ^

    If it's a really fancy capital L, it means the world's greatest detective is hunting you down because he doesn't like how you're using your magic notebook. On the bright side, you probably aren't doing a Laplace Transform.

  7. ^

    The only explanation I've heard for why we use "y=mx+c" instead of "y=kx+c" said it was "because the word 'slope' starts with an 'm'". Never let it be said that mathematicians lack a sense of humor, or that they have a good sense of humor[9].

  8. ^

    I think the reason is "it's an integration of the distance traveled over time, and s looks like a little integral sign". I think this is a terrible reason and they should be the DUVAT equations.

  9. ^

    Okay, I do have a partial justification, which is that an engineer working with slopes is likely to be working with friction as well, and if they're using k for friction coefficients they'll want a different letter for physical gradients. (I still don't think it makes sense for lines you don't intend to ride a sled down.)

27 comments

Comments sorted by top scores.

comment by philip_b (crabman) · 2024-12-07T21:32:25.014Z · LW(p) · GW(p)

m - often used together with n to denote the height and width of a matrix

comment by cubefox · 2024-12-08T01:23:12.683Z · LW(p) · GW(p)

Related: In the equation , the values of all four variables are unknown, but x and y seem to be more unknown (more variable?) than a and b. It's not clear what the difference is exactly.

Replies from: AnthonyC, lsusr, metachirality
comment by AnthonyC · 2024-12-09T11:58:38.009Z · LW(p) · GW(p)

Traditionally, the y variable is another way of defining the output of a function. y=f(x)=ax+b, where a and b are numerical constants. You may not know the constants, but they are specific numbers. The x is a variable you can change to get different values of y=f(x). y=ax+b has two unknown constants, a parameter, and an output. 

Concrete example: Say I am looking at a hill with a straight line sloped side. For every x feet I walk forward I move ax feet up. The a has a single numerical value defined by topography. The b has a single numerical value defined by the altitude at the base of the hill where x=0. The x can be anywhere from zero (a point on the perimeter of the base of the hill) to however far horizontally it is from there to the top of the hill. As x varies, y goes from b to b + the height/prominence of the hill.

Note: y isn't always intended to mean a function output. That depends on context. For example, say instead you have z=ax+by+c. This defines a plane that crosses the z axis at c, has slope a in the x direction, and has slope b in the y direction. It has two parameters (x and y) and three constants that generate the output, z=f(x,y)=ax+by+c

Parameters are also called the arguments of a function

Different concrete example from computer science: Say I want to write a program that multiplies a number by 4. I write code to take input from the user. I call the input x. I return x*4. y=4x. Or, instead, I could add a line in the code that defines a constant, a=4, and then I return ax. Why? Maybe I want to make it easy to see where to change a if I update the code in the future (I put a=4 at the top so I don't have to read to hunt for the place where I use the number 4). Maybe I'm writing code for a more complicated function that uses a multiple times and I want to be able to make updates while only changing it manually in one place, for readability and lower risk of making mistakes. Basically the constant a is defined in the code, while the argument x is defined by the user.

comment by lsusr · 2024-12-08T18:38:48.094Z · LW(p) · GW(p)

All variables are equal, but some are more equal than others.

This is a quote from George Orwell's unpublished manuscript The Theory and Practice of Algebraic Collections. He eventually split it into two separate novels which did see print. The stuff went into 1984 and the "some are more equal than others" went into Animal Farm.

If you can let letters mean whatever you want then there's nothing to stop you from doing the same with numerals. Let .

comment by metachirality · 2024-12-08T18:53:33.501Z · LW(p) · GW(p)

Well that's because it's meant to be quantifying over linear equations. and are not meant to be replaced but and are.

comment by Shankar Sivarajan (shankar-sivarajan) · 2024-12-07T21:46:33.843Z · LW(p) · GW(p)

wouldn't it make more sense to use j as the square root of -1

That is the usage in electrical engineering (since i is current) and from there, the syntax in Python.

comment by Shankar Sivarajan (shankar-sivarajan) · 2024-12-07T21:50:37.931Z · LW(p) · GW(p)

z: The default for complex numbers.

Replies from: abstractapplic
comment by abstractapplic · 2024-12-07T21:56:12.786Z · LW(p) · GW(p)

I can't believe I forgot that one; edited; ty!

comment by Yair Halberstadt (yair-halberstadt) · 2024-12-08T15:11:31.685Z · LW(p) · GW(p)

Also:

m: used for a second whole number when n is already taken.

p: used for primes

q: used for a second prime.

Replies from: notfnofn
comment by notfnofn · 2024-12-08T15:17:25.813Z · LW(p) · GW(p)

In general, it feels like the alphabet can be partitioned into "sections" where you can use other letters in the same section for additional variables that will play similar roles. Something like:

[a,b,c,d]; [f,g,h]; [i,j,k]; [m,n]; [p,q]; [r,s,t]; [u,v,w]; [x,y,z]

Sometimes these can be combined: [m,n,p,q]; [p,q,r,s,t]; [r,s,t,u,v,w]; [u,v,w,x,y,z]

Replies from: yair-halberstadt
comment by Yair Halberstadt (yair-halberstadt) · 2024-12-08T15:21:24.213Z · LW(p) · GW(p)

Yep, and when you run out of letters in a section you use the core letter from the section with a subscript.

comment by niplav · 2024-12-08T00:04:40.186Z · LW(p) · GW(p)

See also Latin, Greek and other letters used in math, science and engineering on Wikipedia.

comment by Gunnar_Zarncke · 2024-12-08T12:16:18.777Z · LW(p) · GW(p)

Never saw "SUVAT" before. Might be a term known specifically in the US?

comment by gjm · 2024-12-08T03:47:26.365Z · LW(p) · GW(p)

I'm confused by what you say about italics. Mathematical variables are almost always italicized, so how would italicizing something help to clarify that it isn't a variable?

Replies from: anthony-brown
comment by tb148 (anthony-brown) · 2024-12-09T02:23:21.095Z · LW(p) · GW(p)

If I recall correctly, in contexts where variables are italicized by default, non-variables are roman instead.

Replies from: gjm
comment by gjm · 2024-12-09T02:34:14.100Z · LW(p) · GW(p)

Yes, that sounds much more normal to me.

Though in the particular case here, something else seems off: when you write  you would normally italicize both the "f" and the "x", as you can see in the rendering in this very paragraph. I can't think of any situation in actual mathematical writing where you would italicize one and not the other in order to make some distinction between function-names and variable names.

For that matter, I'm not wild about making a distinction between "variables" and "functions". If you write  and also  then it would be normal for "f" and "x" to be italicized and not "sin". I was going to say that the reason is that f and x are in fact both variables, and it just happens that one of them takes values that are functions, whereas sin is a fixed function and you'll never see anything like "let sin = 3" or "let sin = cos" -- but actually that isn't quite right either, because named mathematical constants like e are usually italicized. I think the actual distinction is that single-letter names-of-things get italicized and multiple-letter ones usually don't.

comment by kave · 2024-12-08T00:12:31.168Z · LW(p) · GW(p)
  • Because it's a number and a vector, you're unlikely to see anyone (other than programmers) trying to use i as a variable.

I think it's quite common to use i as index variable (for example, in a sum)

(edit: whoops, I see several people have mentioned this) 

Replies from: abstractapplic
comment by abstractapplic · 2024-12-08T00:15:34.362Z · LW(p) · GW(p)

You're right. I'll delete that aside.

comment by metachirality · 2024-12-07T22:04:01.143Z · LW(p) · GW(p)

i is often used as an index in math, similar to how it is used as an index in for loops.

comment by Coafos (CoafOS) · 2024-12-08T01:14:37.900Z · LW(p) · GW(p)

An arbitrary constant you expect to multiply by.

Usually, k is not just an arbitrary real number, but an integer, like in .

For arbitrary constants to multiply by I think  (lambda, greek letter) is used.

Replies from: shankar-sivarajan
comment by Shankar Sivarajan (shankar-sivarajan) · 2024-12-08T07:18:19.445Z · LW(p) · GW(p)

I agree that  strongly connotes integer, but I wouldn't expect to see  used like that if not as a Lagrange multiplier.

comment by Karl Krueger (karl-krueger) · 2024-12-07T22:05:05.094Z · LW(p) · GW(p)

the outermost part of an iteration loop

In this context, "i" often stands for "index", as in an offset into an array.

comment by RandyOrion · 2024-12-08T09:00:44.646Z · LW(p) · GW(p)

c - a constant for the speed of light, e.g.

Replies from: lsusr
comment by lsusr · 2024-12-08T18:34:11.227Z · LW(p) · GW(p)

And is Planck's constant. I think abstractapplic is limiting this to classical mechanics.

comment by cqb · 2024-12-07T23:18:01.935Z · LW(p) · GW(p)

I would add that bold capital letters are often used in linear algebra to represent matrices.

comment by Obi Ren (renate) · 2024-12-07T21:58:23.135Z · LW(p) · GW(p)

j - can also be the unit of the imaginary axis. 

In the entire field of Electrical Engineering, there is a consensus to use "j" instead of "i" for the imaginary axis, because "i" in all its shapes and forms (upper case, lower, with subscript that's either upper, lower) is used to refer to electrical current and all the types signal components it can be decomposed into. 

Not sure how relevant this is for others, but in the day to day life of an electrical engineer it is much more common to work with complex currents, voltages, powers, rather than real ones. Every now and then I have to be reminded that "i" was used originally :P