Understanding Math Signs in Detailed Proof

[georg gill]

I was wondering if anyone could explain the mathematic signs in the first line in detailed proof
in the link here. What do this mathemathical sentence mean sign by sign?

http://bildr.no/view/1002076

 

[LCKurtz]

You mean the line where he indicates that the closed unit balls in this case are just closed intervals?

 

[georg gill]

The mathematical signs in dotted area here between: Let ... be the compact cylinder where f is defined this is


Which is just below the header detailed proof. It looks like the sign for cross product to me but how does that make a cylinder?

 

[LCKurtz]

The mathematical signs in dotted area here between: Let ... be the compact cylinder where f is defined this is


Which is just below the header detailed proof. It looks like the sign for cross product to me but how does that make a cylinder?

That is the symbol for the Cartesian Product of the two sets. The Cartesian product of A and B is:

A x B = {(a,b): a ε A and b ε B}

 

[georg gill]

I have read some about the cartesian product with a deck of cards as example which has 13 different cardvalues and 4 different colors which make a deck of cards have cartesian product equal 52.

But how can a cartesian product descripe a cylinder?

 

[LCKurtz]

I have read some about the cartesian product with a deck of cards as example which has 13 different cardvalues and 4 different colors which make a deck of cards have cartesian product equal 52.

But how can a cartesian product descripe a cylinder?

It is using cylinder in a more general sense than a common circular cylinder. If you take a circle in the xy plane and take its Cartesian product with the z axis you get a what anyone would call a cylinder. But you can take any region, such as a square in the xy plane and cross it with the z axis. You get an infinitely long square cross section block. Just as you would call the surface of that block a cylindrical surface, you would also call the block itself a cylinder. It just isn't round.

 

[georg gill]

This is the whole proof

http://en.wikipedia.org/wiki/Picard–Lindelöf_theorem#Detailed_proof

I wonder is t who is the variable for I a parameter for two dimensions (thoose two dimensions one could call that x and y-axis?) where as y is a variable for B which makes the third dimensions (one could call that one z-axis)

and does the points of I make a circle and B make a line on the z-axis to make the points on the surface of a cylinder?

And what does M=sup||f|| mean?

 

[LCKurtz]

Think of a t-y plane instead of xy plane. You are looking for a solution of the DE with y(t₀)= y₀. I_a is just the closure of the open interval of length 2a about t₀: I_a=\overline{(t_0-a,t_0+a)}= [t_0-a,t_0+a].

Simarly, B_b is the closure of an interval of length 2b about y₀ on the y axis: B_b=\overline{(y_0-b,y_0+b)}= [y_0-b,y_0+b]. Your picture looks like this:

Your Cartesian product in this case is just a rectangle in the ty plane. What is confusing you is that the author is writing it in a more general notation to use the general Banach Fixed Point Theorem.

For continuous functions and a closed region, the sup of a function is the same thing as its maximum.