Sets & Notations: What Do S* and S* Mean?

  • Thread starter Thread starter RedGolpe
  • Start date Start date
  • Tags Tags
    Mean Sets
AI Thread Summary
The discussion centers on the meanings of the notations S* and S*, with S representing a set. Initial inquiries reveal uncertainty due to the lack of context, with suggestions including concepts like upper and lower Riemann sums or morphism operations. The user speculates that the notation might relate to basic set theory, particularly regarding supremum and infimum. Ultimately, the user discovers that A* denotes the set of all elements greater than those in A, while A* represents the set of all elements smaller than those in A. This clarification highlights that the notation is not standard but specific to the textbook in question.
RedGolpe
Messages
5
Reaction score
0
I have seen different notations on different books but I couldn't find anywhere what S* and S* mean, being S a set. Anyone can help?
 
Physics news on Phys.org
Without knowing the context, I doubt if anyone can say. I can think of a few possiblities such as "upper Riemann sum" and "lower Riemann sum" for an integral or "push forward" and "pull back" of a morphism, but those don't apply just to "sets".
 
Thank you for your quick answer. I doubt it to be anything more complicated than very basic set theory. Unfortunately, I don't know the context myself, all I have is a simple test asking to answer true or false to several questions:

if l belogs to A* then l+1 does not belong to A*;
if l belogs to A* then there exists an epsilon>0 such that l-epsilon belongs to A*.

I suspect it's something like "A together with its supremum/infimum" or something pretty straightforward like that. I just wanted to know if anyone had seen this notation before, as I can still ask the person who gave me those tests to show me his textbook.
 
The notation was surely explained just before the questions applying to it.
 
Unfortunately not. As I said, this was a test sheet and I don't have access to the relevant textbook. Anyway I'd say it's obvious now that this is not standard notation, I'll check it on the book itself when it becomes available.

Edit: For all the curious here, I managed to obtain the textbook. A* is defined as the set of all the elements greater than all the elements in A. Similarly, A* is the set of all the elements smaller than all the elements in A.
 
Last edited:
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