In calculus books they define the domain(natural domain) of $f+g$ as $Dom(F)\bigcap Dom(g)$. And they define the domain of $fog$ as the set of all real numbers $x$ such that $x$ is in the domain of the function $g$ and $g(x)$ is in the domain of the function $f$. Is it how they define the domain of $f+g$ or $fog$ as partial functions in very formal mathematics?Can you suggest any books I can see the formal definitions of domain , source and compositions of partial functions in details?


Really you just follow your nose and figure out what makes the most sense.

For partial functions $f : X \rightharpoondown Y$ and $g : Y \rightharpoondown Z$, you can define $g \circ f : X \rightharpoondown Z$ in the 'only way that makes sense', i.e. for $x \in X$ put $$(g \circ f)(x) = \begin{cases} g(f(x)) & \text{if}\ x \in \text{dom}(f)\ \text{and}\ f(x) \in \text{dom}(g)\\ \text{undefined} & \text{otherwise} \end{cases}$$

Thus $\text{dom}(g \circ f) = \text{dom}(f) \cap f^{-1}[\text{dom}(g)]$.

And just like for total functions, $\text{dom}(f+g)=\text{dom}(f) \cap \text{dom}(g)$, presuming $+$ makes sense.

  • $\begingroup$ can we define g∘f more generally,i.e when f:X⇁Y and g:W⇁Z? $\endgroup$ – theGuest Dec 9 '13 at 4:32
  • $\begingroup$ for total functions we can define addition when they have different domains? $\endgroup$ – theGuest Dec 9 '13 at 4:40
  • $\begingroup$ @theGuest: Yes, can you guess how? $\endgroup$ – Clive Newstead Dec 9 '13 at 5:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.