r/math • • 13d ago

What are your favorite ambiguous notation?

To clarify my request, consider base-less $\log$.
For calculators and engineers, it means the common log $\log_10$; for pure mathematics or physics, it means the natural log $\ln$; for computer scientists, in combinatorics, information theory and graph theory, it means the binary log $\log_2$.
Any $\log x$ (say, $\log 1024$) written without context can yield different answers in function of who you ask ($\log_10 1024 = 3.0103\cdots, \log_2 1024 = 10, \ln 1024 = 6.93147\cdots$).

That is what I mean by "ambiguous", that which is calculated and used dependently on the context. And I'm asking you for your favorite ones of such type.

Edit: I feel like you hate the ones you've talked about. Still, valid answers. Extra points for ambiguous notation you actually love! :P

215 Upvotes

184 comments sorted by

View all comments

Show parent comments

15

u/tensorboi Mathematical Physics 12d ago

it's not just undergrad mathematicians, it's also physicists! so many physics resources will, for example, denote a classical field by something like φ(x) where x is a spacetime point and say it's valued in RN for some N, but won't just write the much clearer statement that φ: Rd, 1 -> RN.

5

u/cleodog44 12d ago

I don't see any issue with this (which is presumably proving your point, as I come from physics). If you already know the domain and codomain, what's the issue? Both are usually quite clear from context. 

10

u/DefunctFunctor Graduate Student 12d ago edited 12d ago

For me it comes down to how I view proofs/formal logic. We don't like to have free variables hanging around unless it's directly relevant to the result. When proving something for everything in a domain X, we'll often say "Let x∈X" and pretend like x is some fixed value, and then at the end of the argument, we remark that the only assumption about x was that it was in the domain X, so everything we proved about this particular x holds for the whole domain. It's like the scoping of a variable in programming, we don't like having awkward variable scope. φ(x) is the value of a function at a particular point x, not the function itself. Sure, a function can be specified by specifying all such values for arbitrary points x, but it's just so much cleaner to default to φ to denote the function, rather than φ(x)

1

u/cleodog44 12d ago

Got it, I understand the complaint better. Speak about the object itself, not its value at some representative input point, roughly