Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Definition/Meaning of :|:

  1. Mar 16, 2012 #1
    What is the meaning of :|: ?

    So how would one read the following for example...

    set X = { u "member of" set A :|: u has property P}
     
  2. jcsd
  3. Mar 16, 2012 #2

    mathman

    User Avatar
    Science Advisor
    Gold Member

    :|: seems to mean that the expression to the right is a condition. I have not seen that form - usually it is just | alone.
     
  4. Mar 16, 2012 #3
    Have never seen that notation before. Assuming it has the same meaning as the more usual


    set X = { u "member of" set A | u has property P}

    I would pronounce that "such that."
     
  5. Mar 17, 2012 #4

    Stephen Tashi

    User Avatar
    Science Advisor

    In probability theory, the "|" has a special meaning, not completely captured by the condition "such that". It's usually spoken as "given".

    Probabilities are assigned to subsets of some space of possible outcomes. If A and B are sets in such a space then [itex] A \cap B [/itex] and [itex] A | B [/itex] both refer to the set of elements in [itex] A \cap B [/itex], but the probability [itex] P(A | B) [/itex] tells us that probability is to be computed as if the elements of the "space of possible outcomes" are only those elements which are in B while [itex] P(A \cup B) [/itex] tells us that the "space of possible outcomes" is the original space of possible outcomes.

    Hence the meaning of the notation P(X) is not as simple as "P(X) means the probability of the set (or event) X". When the "|" sign is used, the P(.) notation also tells something about what is to be considered the space of possible outcomes.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Similar Discussions: Definition/Meaning of :|:
  1. What does 'mean' mean? (Replies: 6)

  2. Ordinal by definition (Replies: 1)

Loading...