What does the notation f|A mean?

  • Thread starter pellman
  • Start date
  • #1
675
4
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?
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
3,997
214
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
 
  • #3
675
4
That fits the other instances of its usage in the text. Thank you.
 

Related Threads on What does the notation f|A mean?

  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
9
Views
948
  • Last Post
Replies
3
Views
2K
Replies
2
Views
3K
Replies
3
Views
593
Replies
2
Views
924
Top