1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What does the notation f|A mean?

  1. Mar 9, 2009 #1
    Here is an instance of the notation in context.

    If [tex]U_\lambda = F_\lambda(U_0)[/tex] and [tex]U_\lambda\cap U_0\neq\emptyset[/tex], then [tex]F_\lambda |U_{-\lambda}\cap U_0 :U_{-\lambda}\cap U_0 \rightarrow U_0 \cap U_\lambda [/tex] is a diffeomorphism and its inverse is [tex]F_{-\lambda}|U_0 \cap U_\lambda[/tex].

    So what does the notation [tex]f|A[/tex] in [tex]f|A:A\rightarrow B[/tex] (where f is a function and A and B are sets) mean?
  2. jcsd
  3. Mar 9, 2009 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    It's usually written f|A as a subscript; it means f with its domain restricted to only A. While you don't have the original definition up, obviously the original domain of F in your statement was U0 (or some superset thereof) and now they're looking at F restricted to the intersection with U-lambda
  4. Mar 9, 2009 #3
    That fits the other instances of its usage in the text. Thank you.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook