Small letters to represent sets

  • Thread starter Thread starter mousemouse
  • Start date Start date
  • Tags Tags
    Sets
AI Thread Summary
Using small letters to represent sets does not violate any strict mathematical rules; it is primarily a matter of convention. While capital letters are commonly used for sets in traditional mathematics, lowercase letters are often employed in axiomatic set theory. The choice of notation should aim to enhance clarity for the reader, distinguishing between sets and other mathematical entities like proper classes. Ultimately, flexibility in notation allows for personal preference, as long as it maintains readability. Therefore, using lowercase for sets is acceptable as long as the context is clear.
mousemouse
Messages
6
Reaction score
0
Hi,

I'd like to know if using small letters to represent sets violates rules? From what I've been taught capital letters are pretty much used to denote sets. Is this a strict rule?
 
Physics news on Phys.org
It's all about context. If I'm trying to keep sets and numbers distinct, I might use uppercase and lowercase, respectively. But I might equally well be trying to distinguish sets and proper classes, in which case I'd use lowercase for sets and uppercase for proper classes.

The goal is to use your typography to reduce the amount of effort required of the reader.
 
Okay. In my case I did the opposite of the second item in your example. I used lowercase letters for class and uppercase for sets. I guess this would be ok. I thought there was some strict rule on the use of letters.

Thank you!
 
Such a rule can't possibly be a mathematical rule. It's just convention. In axiomatic set theory, sets are often denoted by lower case letters, such as here. In 'usual mathematics', upper case letters are standard. But of course you can use whatever symbols you like. If you want to write \backslash^*=\{1,2\}, that's fine.
 
Landau said:
Such a rule can't possibly be a mathematical rule. It's just convention. In axiomatic set theory, sets are often denoted by lower case letters, such as here. In 'usual mathematics', upper case letters are standard. But of course you can use whatever symbols you like. If you want to write \backslash^*=\{1,2\}, that's fine.

thanks!
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top