
Slides of the first lecture
... deformed into Y , we have χ(X ) = χ(Y ) . Such a number is an example of a topological invariant. ...
... deformed into Y , we have χ(X ) = χ(Y ) . Such a number is an example of a topological invariant. ...
Ch 5
... transversal, then the lines are parallel. m n t Corollary 5.4 – If two lines cut by a transversal form a pair of supplementary interior angles on the same side of the transversal, then the lines are parallel. m n t Postulate 5.1 – The Parallel Postulate (for Euclidean Geometry) Given a line l and a ...
... transversal, then the lines are parallel. m n t Corollary 5.4 – If two lines cut by a transversal form a pair of supplementary interior angles on the same side of the transversal, then the lines are parallel. m n t Postulate 5.1 – The Parallel Postulate (for Euclidean Geometry) Given a line l and a ...
NUMBER THEORY 1. Divisor Counting Theorem 1. A number is a
... Proof. If a number is divisible by 6, it is composite; thus no prime number is 0 mod 6. If a number is 2 more than a multiple of 6, it is even, because all multiples of 6 are even. The only even prime is 2. Thus a prime number cannot be 2 mod 6 unless it is actually equal to 2. Similarly, if a numbe ...
... Proof. If a number is divisible by 6, it is composite; thus no prime number is 0 mod 6. If a number is 2 more than a multiple of 6, it is even, because all multiples of 6 are even. The only even prime is 2. Thus a prime number cannot be 2 mod 6 unless it is actually equal to 2. Similarly, if a numbe ...
3.6 Prove Theorems About Perpendicular Lines
... Lines Perpendicular to a Transversal Theorem In a plane, if two lines are perpendicular to the same line, then m ...
... Lines Perpendicular to a Transversal Theorem In a plane, if two lines are perpendicular to the same line, then m ...
Prove
... To prove a theorem (proposition, lemma) of the form p ⇒ q, we often attempt to build a bridge of implications p ⇒ p1 ⇒ p2 ⇒ · · · ⇒ q2 ⇒ q1 ⇒ q. To obtain such a bridge, we might try to use deductive reasoning (”what can we conclude from p?”) to get p1 from p, then again to get p2 from p1 , and so o ...
... To prove a theorem (proposition, lemma) of the form p ⇒ q, we often attempt to build a bridge of implications p ⇒ p1 ⇒ p2 ⇒ · · · ⇒ q2 ⇒ q1 ⇒ q. To obtain such a bridge, we might try to use deductive reasoning (”what can we conclude from p?”) to get p1 from p, then again to get p2 from p1 , and so o ...
Proofs - Maths TCD
... Proof. Suppose X is Hausdorff and A ⊂ X is compact. To show that X − A is open, let x ∈ X − A be given. Then for each y ∈ A there exist disjoint open sets Uy , Vy such that x ∈ Uy and y ∈ Vy . Since the sets Vy form an open cover of A, finitely many of them cover A by compactness. Suppose that Vy1 , ...
... Proof. Suppose X is Hausdorff and A ⊂ X is compact. To show that X − A is open, let x ∈ X − A be given. Then for each y ∈ A there exist disjoint open sets Uy , Vy such that x ∈ Uy and y ∈ Vy . Since the sets Vy form an open cover of A, finitely many of them cover A by compactness. Suppose that Vy1 , ...
1+1 + ll + fl.lfcl + M
... resulting set through an angle of arg a. By the notation J D [ # 5 ] is meant the point set intersection of all sets aS as a assumes all values in a given set A. The following lemma is an extension of a result due to Scott and Wall [4]. LEMMA 2.1. Let Dh D^, Vi, Vi be any jour sets of points in the ...
... resulting set through an angle of arg a. By the notation J D [ # 5 ] is meant the point set intersection of all sets aS as a assumes all values in a given set A. The following lemma is an extension of a result due to Scott and Wall [4]. LEMMA 2.1. Let Dh D^, Vi, Vi be any jour sets of points in the ...
Brouwer fixed-point theorem

Brouwer's fixed-point theorem is a fixed-point theorem in topology, named after Luitzen Brouwer. It states that for any continuous function f mapping a compact convex set into itself there is a point x0 such that f(x0) = x0. The simplest forms of Brouwer's theorem are for continuous functions f from a closed interval I in the real numbers to itself or from a closed disk D to itself. A more general form than the latter is for continuous functions from a convex compact subset K of Euclidean space to itself.Among hundreds of fixed-point theorems, Brouwer's is particularly well known, due in part to its use across numerous fields of mathematics.In its original field, this result is one of the key theorems characterizing the topology of Euclidean spaces, along with the Jordan curve theorem, the hairy ball theorem and the Borsuk–Ulam theorem.This gives it a place among the fundamental theorems of topology. The theorem is also used for proving deep results about differential equations and is covered in most introductory courses on differential geometry.It appears in unlikely fields such as game theory. In economics, Brouwer's fixed-point theorem and its extension, the Kakutani fixed-point theorem, play a central role in the proof of existence of general equilibrium in market economies as developed in the 1950s by economics Nobel prize winners Kenneth Arrow and Gérard Debreu.The theorem was first studied in view of work on differential equations by the French mathematicians around Poincaré and Picard.Proving results such as the Poincaré–Bendixson theorem requires the use of topological methods.This work at the end of the 19th century opened into several successive versions of the theorem. The general case was first proved in 1910 by Jacques Hadamard and by Luitzen Egbertus Jan Brouwer.