Feb 14

In class on Tuesday, we stated and used the chain rule for partial derivative:

For z=z(x_1, x_2, \ldots, x_n) be a function of n variables, such that x_i = x_i(t_1, t_2, \ldots, t_m) is a function of m variables for each i = 1, \ldots, n then

\displaystyle \frac{\partial z}{\partial t_j} = \sum_{i=1}^n \frac{\partial z}{\partial x_i} \frac{\partial x_i}{\partial t_j} for each j=1,\ldots, m

We derived the result called the Implicit Differentiation theorem which gives you a shortcut to perform (single-variable) implicit differentiation using partial derivatives.

We just got started talking about directional derivatives. Next time will define the gradient and begin to show some simple useful results involving it. Then, we’ll be able to begin studying optimization of functions of several variables.

written by SplineGuy

Feb 14

What does “Wayne’s World” have to do with Real Analysis?

Good question. I inadvertently structured my lecture in such a way that it reminded me of the old saturday-night-live-turned-box-office-money-maker. Both in the sketch and the movies, Wayne and Garth would broadcast their rock-n-roll show from Wayne’s basement. Anyways, whenever they would do a dream segment or a “back in time” segment, they would mimic the “fuzzy” screen effect and dreamy music my waving their hands frantically and saying something to the effect of “doodle-oodle-oodle-…” (DISCLAIMER: By referring to Wayne’s World, I in no way condone some of the associated raunchy humor, even though I probably laughed at some of it - shame on me.)

During class, I started a section of material and after beginning a proof, realized that we had not yet covered some essential material. Thus, we had to do a dream sequence, much like Wayne’s World or any other movie where you see the end of the story and then go back in time to see how you got there. How about that for interesting use of lecture style?

I had begun the definition of an \varepsilon-neighborhood and in trying to explain exactly what it was, I realized that we had some left some important results of the absolute value had not been established. Those results are well-known facts but we have emphasized the importance of fundamental principles in this class. We use (almost) nothing without first establishing the facts we need through proofs or use of axioms and definitions.

I finished with a few examples demonstrating sets that have the varying properties:
(i) Every point in the set has a an \varepsilon-neighborhood that is contained in the set.
(ii) There is a point in the set that, every \varepsilon-neighborhood of that point contains both elements of the set and elements in its complement.

Next time, we’ll give those concepts names after we establish the identifying property of the reals, namely, the completeness axiom. We also have homework due so there will be some oral presentations.

written by SplineGuy

Feb 13

Okay, so I almost lost it today. All of my students can attest to the fact that I am generally a very laid back guy. In most cases, my students can give me a hard time in class, try to distract me by encouraging me to chase rabbits in class, they can even jest about how complicated the material is. I generally play along, all in good fun, and even use their comments to springboard into some great illustrations of application.

But every once in a while, I get pushed too far. I don’t yell. I don’t scream. I don’t turn red-faced. I really don’t even get angry, nor do I let it distract from the lecture at hand. But I do respond. Today, I responded by making good on an off-hand threat I made last week: “If they continue to deride this subject and make attempts to get me to dismiss class early, I will begin adding problems to their homework.” In other classes, I have simply invited the students to leave and drop the course if they are so disinterested in making an effort.

Now, for the confession. I honestly feel bad about “punishing” the entire class for the offense of a couple of students. I put the word in quotes because, honestly, more homework helps them better understand the topic, but I know that in the eyes of the students, it was a punishment. One rationale for increasing the homework load based on the behavior of a couple of students is that it will curb that sort of behavior in the future, both from them and anyone else. But at the same time, there are not very clear boundaries. I allow the regular discussions of “Why is this difficult?” or “How can we use this?”. I often play along with their joking about dismissing class early, even though they all know how improbable it is. Nevertheless, after every theorem and every proof, is too often.

Despite by doubts, the current assignment will stand as it is now, after the added problems. If there are future such occurrences, I will recognize the fact it failed to meet the goals of stemming this behavior for the entire class and I will likely direct the “punishment” toward any offending individuals. In the end, I hold no grudges or ill will. Any students involved in today’s class have clearly demonstrated their commitment to the mathematics program as a whole so I am not upset with anyone. The primary goal is that the students learn a lesson: Even though there is a casual atmosphere in the classroom (or workplace), we maintain a certain level of respect for the course (or job) and for the professor (or employer).

written by SplineGuy

Feb 13

In class today, we finished the section on partitioning matrices. We verified that that block matrices obey the same rules for matrix algebra. In particular, block matrix multiplication works as scalar multiplication as long as the dimensions are appropriate for the sub-matrices to be multiplied together.

We looked at a couple of examples how we can evaluate the structure of larger matrices using block matrices. For example, we prove that the given matrix:

A= \left[ \begin{array}{cc}A_{11} & O \\ A_{21} & A_{22} \end{array}\right]

is nonsingular iff A_{11} and A_{22} are nonsingular. We derived that:

A^{-1} =  \left[ \begin{array}{cc}A_{11}^{-1} & O \\[2ex] -A_{22}^{-1}A_{21}A_{11}^{-1} & A_{22}^{-1} \end{array}\right]

I then used a rather manufactured example to demonstrate how we might make use of this fact. Find the inverse of the following matrix:

A=\left[\begin{array}{cc|ccc} 1 & 2 & 0 & 0 & 0 \\ 2 & 3 & 0 & 0 & 0\\ \hline 4 & 3 & 1 & 0 & 0 \\ 1 & 2 & -2 & 1 & 0 \\ 9 & 2 & 0 & 0 & 1 \end{array}\right]

I made this matrix up so that A_{11}^{-1} and A_{22}^{-1} are easily calculable and thus, so is A^{-1}.

I just started to touch on outer product expansions and so I’ll finish that up next time. The first exam has been scheduled for Monday, February 19. I handed out a review and will post an answer key to the review in Blackboard.

written by SplineGuy

Feb 13

In today’s class, we were fortunate to have one of my colleagues from our division direct the class. This is the third time this class has been offered at Wayland. The first two times, this faculty member and I co-taught the class. I’ll be honest and tell you that being the sole teacher this semester has been an enormous challenge, much greater than the last two. It was extremely helpful to have someone in class bouncing ideas off of.

In the current scenario, I appear much more as the “expert” and less of the facilitator in the discussion. In an applied math course, that would be fine, but in this course, I am reluctant to accept that role. Today’s class was like the “good ole days”.

The two main topics we covered in class today were the scientific method and the way in which scientific knowledge develops. In discussing the scientific method, we went back over some of the original discussions of the class, centering on the issue of just “how” faith can affect or inform science.

The class proposed that faith can serve much like a feedback loop to weigh the conclusions of science against. Most of them were uncomfortable thinking of faith as a filter through which we choose to accept or deny the claims of science. Instead, it was determined that our faith and/or worldview helps us to evaluate the conclusions reached by science. In most cases, excepting bad experimental design, we don’t throw out the results (or data) but we can choose to re-evaluate the conclusions as long as they are rational and justifiable.

This is the true challenge in letting one’s faith affect scientific endeavor. The real difficulty is how you draw the line between allowing for, say, supernatural explanations (if at all) and allowing for paranormal explanations. In a classroom full of Christians with a strong conservative backgrounds, most, if not all, of us are comfortable in accepting the supernatural’s involvement in our world. However, far fewer of us would be willing to accept the paranormal.

Thus, in evaluating scientific conclusion we must answer the question of what provides the “best” explanation. Some answers to that question have been posed such as Occam’s Razor or the fact that the natural trumps the supernatural for all cases. We did not arrive at an answer that satisfied everyone.

We discussed the scientific method in greater detail. We followed that by a short discussion on the nature of scientific development/revolution as proposed by Thomas Kuhn in his book, The Structure of Scientific Revolutions

Next time, we will begin to cover some specific case studies of the interaction of faith and science throughout the history of science.

We will also discuss some of the claims made in Eric Snow’s paper: “Christianity: A Cause for Modern Science“. In this article, he gives a summary of a couple of papers in which the authors contend that either Christianity helped to create modern science through its worldview, or at the very least, aided in its development. They also contend that other cultures’ worldviews stifled the development of modern science, giving examples from China, India, Islam and others.

written by SplineGuy

Feb 12

Almost all of today’s class was spent using logical equivalences and rules for inference in their symbolic form to verify the validity of various arguments. One of my favorites was the following:

If the Mosaic account of cosmogony (the account of the creation in Genesis) is strictly correct, the sun was not created till the fourth day. And if the sun was not created till the fourth day, it could not have been the cause of the alternation of day and night for the first three days. But either the word “day” is used in Scripture in a different sense from that in which it is commonly accepted now or else the sun must have been the cause of the alternation of day and night for the first three days. Hence it follows that either the Mosaic account of the cosmogony is not strictly correct or else the word “day” is used in Scripture in a different sense from that in which it is commonly accepted now.

We label the various statements that make up this argument by M, C, A, D. Thus the argument takes the form:
\begin{array}{ll} 1.& M \Rightarrow \ \sim C \\ 2. &  \sim C \Rightarrow \ \sim A \\ 3. & D \vee A \\ \therefore & \sim M \wedge D \end{array}

The proof goes like this:
 \begin{array}{lll} 4. & M \Rightarrow \ \sim A & \mbox{from 1,2  by Hypothetical Syllogism}\\ 5. & A \vee D & \mbox{from 3 by Commutativity}\\ 6. & \sim \sim A \vee D & \mbox{from 5 by Double Negation} \\ 7. & \sim A \Rightarrow D & \mbox{from 6 by Material Implication}\\ 8. & M \Rightarrow D & \mbox{from 4,7 Hypothetical Syllogism} \\ 9. & \sim M \vee D & \mbox{from 8 Material Implication}\end{array}

Next time, a colleague from the Division of Mathematics and Sciences will take over for a couple classes, helping us to understand the scientific method cycle and the historical development of modern science.

written by SplineGuy

Feb 12

In Calculus IV on Thursday, February 8th, we covered the derivation of tangent planes. We also showed how the tangent plane for functions of 2 variables generalizes to functions of several variables, a process we call linearization.

We also used this concept of linearization to define differentiability for functions of several variables. We also covered the concept of differentials.

I know that in this day and age, with technology so available, I should be utilizing some tools on the computer to draw these pictures that help us visualize these concept. Honestly, I just really enjoy drawing the pictures by hand. Having taught this course for several years now, I think I’m getting pretty good at it. I’d post a picture, but I wouldn’t want anyone to disagree with me and hurt my feelings. ;)

Next time, we cover the chain rule and will start directional derivatives.

written by SplineGuy

Feb 12

We had no homework assignments due on Thursday, so I dove right into lecture. We proved a few more results following from our ordering of the reals. Upon completing these theorems, we were then able to do the basic sorts of solving of inequalities we teach in our lowest level of algebra. It is interesting that we get to one of our final senior undergraduate courses and start doing things we cover in the earliest mathematics courses, but this time, we’ve built our understanding of these rules from the ground up. Have no fear, analysis students, we will go much, much beyond those mathematical tools we used intermediate algebra.

Next, we defined the concept of absolute value and some simple results of that definition. The next big thing after that was to use absolute values to create \varepsilon-neighborhoods which will provide us the necessary structures to define open and closed sets, cluster points, limits, etc.

Before we get to those concepts, however, we will divert to another low-level algebra topic of solving absolute value equations and inequalities. That will happen next time at the very beginning of class.

written by SplineGuy

Feb 12

On Wednesday, last week, we completed our material over elementary matrices, using them to derive the inverse of a matrix. Upon proving that a matrix is non-singular (i.e., invertible) if and only if it is row equivalent to the identity, we noticed that the same row operations that change a matrix A into the identity will change the identity into the inverse of A.

We, then, closed off that section by looking at how to form an LU decomposition, or factorization, of a matrix. The basic algorithm we used to row reduce a matrix to upper triangular form keeping track of the elementary matrices used, then computing L as the product of the inverses of those elementary matrices. Unfortunately, I forgot to mention (and WILL mention in the next class) that this only works if we use only the row operation of type III. That fact guarantees that the product of the inverses of those elementary matrices will be lower triangular.

After finishing section 4, we started to talk about partitioning matrices. We are simply trying to show that all of our matrix algebra works the same when the elements of the matrices are also matrices. I’m having a hard time convincing the students of the significance of this, since in any given matrix calculation, it is just as easy to compute the sums and products with simple matrices as with block matrices. As I see it, the greatest benefit to using block matrices is to deal with matrices that have a specific block structure that is maintained after calculation.

Next time, we will finish this section and be ready to schedule an exam.

written by SplineGuy

Feb 06

We have finally started taking partial derivatives in Calculus IV. This is definitely one of my favorite parts of the entire Calculus sequence. Today, we finished up talking about limits of functions of several variables and the concept of continuity. We, then, introduced the concept of holding one variable fixed and finding the derivative of the function with respect to the remaining variable. After seeing the picture drawn on the board of two curves, or slices of a surface, and identifying the partial derivatives as the “slope” of tangent lines to those two curves, one of the students made a keen observation: Can’t we have infinitely many partial derivatives by going in any direction, not just the x or the y direction? Answer: yes, but . . .

We will be covering directional derivatives in couple of sections down the road, and we’ll see that even for those cases we only need the two directions to find all the rest. Next time, we’ll cover linearization, tangent planes, and differentials. Another one of my favorite topics is coming up: the Implicit Differentiation Theorem.

written by SplineGuy