(Started Discussion of Problem 1)
Line 1: Line 1:
[[Category:MA5530Spring2014Bell]]
+
<br>
[[Category:MA530]]
+
[[Category:math]]
+
[[Category:homework]]
+
  
 
== Homework 2 collaboration area  ==
 
== Homework 2 collaboration area  ==
Line 8: Line 5:
 
Here it is again:  
 
Here it is again:  
  
<math>f(a)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-a}\ dz.</math>
+
<math>f(a)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-a}\ dz.</math>  
  
 
----
 
----
  
This is the place.
+
This is the place.  
  
 
----
 
----
'''Exercise 1'''
 
  
Suppose that <math>\varphi(z)</math> is a continuous function on the trace of a path <math>\gamma</math>. Prove that the function
+
'''Exercise 1'''
  
<math>f(z)=\int_{\gamma}\frac{\varphi(\zeta)}{\zeta-z}d\zeta</math>
+
Suppose that <math>\varphi(z)</math> is a continuous function on the trace of a path <span class="texhtml">γ</span>. Prove that the function
  
is analytic on <math>\mathbb{C}-\text{tr }\gamma</math>.
+
<math>f(z)=\int_{\gamma}\frac{\varphi(\zeta)}{\zeta-z}d\zeta</math>  
  
 +
is analytic on <math>\mathbb{C}-\text{tr }\gamma</math>.
  
'''Discussion'''
+
<br> '''Discussion'''  
 +
 
 +
-A function is said to be analytic on an open set <span class="texhtml">Ω</span> if it is <math>\mathbb{C}</math>-differentiable at every point in <span class="texhtml">Ω</span>. Since the definition of analytic involves an open set, to complete Exercise 1 we need to have an open set somewhere. Since <span class="texhtml">tr γ</span> is the continuous image of a compact set, it is compact. Since <math>\mathbb{C}</math> is a Hausdorff space, <span class="texhtml">tr γ</span> is closed. Alternately one can note that <math>\mathbb{C}</math> is homeomorphic to <math>\mathbb{R}^{2}</math> where we know that a compact set is closed and bounded. Since the complement of a closed set is open, <math>\mathbb{C}-\text{tr }\gamma</math> is open. The long and short of this is: since<math>\mathbb{C}-\text{tr }\gamma</math> is an open set, one just has to show that <math>\varphi</math> is <math>\mathbb{C}</math>-differentiable at every point in this set in order to complete the exercise.
  
-A function is said to be analytic on an open set <math>\Omega</math> if it is <math>\mathbb{C}</math>-differentiable at every point in <math>\Omega</math>. Since the definition of analytic involves an open set, to complete Exercise 1 we need to have an open set somewhere. Since <math>\text{tr }\gamma</math> is the continuous image of a compact set, it is compact. Since <math>\mathbb{C}</math> is a Hausdorff space, <math>\text{tr }\gamma</math> is closed. Alternately one can note that <math>\mathbb{C}</math> is homeomorphic to <math>\mathbb{R}^{2}</math> where we know that a compact set is closed and bounded. Since the complement of a closed set is open, <math>\mathbb{C}-\text{tr }\gamma</math> is open. The long and short of this is: <math>\mathbb{C}-\text{tr }\gamma</math> is an open set so one just has to show that <math>\varphi</math> is <math>\mathbb{C}</math>-differentiable at every point in this set in order to complete the exercise.
 
 
----
 
----
[[2014_Spring_MA_530_Bell|Back to MA530, Spring 2014]]
+
 
 +
[[2014 Spring MA 530 Bell|Back to MA530, Spring 2014]]
 +
 
 +
[[Category:MA5530Spring2014Bell]] [[Category:MA530]] [[Category:Math]] [[Category:Homework]]

Revision as of 19:15, 28 January 2014


Homework 2 collaboration area

Here it is again:

$ f(a)=\frac{1}{2\pi i}\int_\gamma \frac{f(z)}{z-a}\ dz. $


This is the place.


Exercise 1

Suppose that $ \varphi(z) $ is a continuous function on the trace of a path γ. Prove that the function

$ f(z)=\int_{\gamma}\frac{\varphi(\zeta)}{\zeta-z}d\zeta $

is analytic on $ \mathbb{C}-\text{tr }\gamma $.


Discussion

-A function is said to be analytic on an open set Ω if it is $ \mathbb{C} $-differentiable at every point in Ω. Since the definition of analytic involves an open set, to complete Exercise 1 we need to have an open set somewhere. Since tr γ is the continuous image of a compact set, it is compact. Since $ \mathbb{C} $ is a Hausdorff space, tr γ is closed. Alternately one can note that $ \mathbb{C} $ is homeomorphic to $ \mathbb{R}^{2} $ where we know that a compact set is closed and bounded. Since the complement of a closed set is open, $ \mathbb{C}-\text{tr }\gamma $ is open. The long and short of this is: since$ \mathbb{C}-\text{tr }\gamma $ is an open set, one just has to show that $ \varphi $ is $ \mathbb{C} $-differentiable at every point in this set in order to complete the exercise.


Back to MA530, Spring 2014

Alumni Liaison

Basic linear algebra uncovers and clarifies very important geometry and algebra.

Dr. Paul Garrett