- #1
pmb_phy
- 2,952
- 1
I'm a bit confused as to how the text Tensor Analysis on Manifolds, by Bishop and Goldberg on page 6.
The authors define the term power set as follows
_________________________________________
If A is a set, we denote by PA the collection of all subsets of A, PA = {C| C is a subset of A}. PA is called the power set of A.
_________________________________________
The authors define the term power map as follows
_________________________________________
If f: A -> B, the we define the power map of f, f: PA -> PB by fC = {fc| fa is an element of C} for every C which is an element of PA}
_________________________________________
What is confusing to me is that nowhere in the definition does the set B occur. What role does B have in the power map?
Thank you
Pete
The authors define the term power set as follows
_________________________________________
If A is a set, we denote by PA the collection of all subsets of A, PA = {C| C is a subset of A}. PA is called the power set of A.
_________________________________________
The authors define the term power map as follows
_________________________________________
If f: A -> B, the we define the power map of f, f: PA -> PB by fC = {fc| fa is an element of C} for every C which is an element of PA}
_________________________________________
What is confusing to me is that nowhere in the definition does the set B occur. What role does B have in the power map?
Thank you
Pete
Last edited: