Crystals, Chemistry, and Space Groups
|
|
- Maurice Hampton
- 6 years ago
- Views:
Transcription
1 Crystals, Chemistry, and Space Groups Sean McAfee University of Utah September 1, 2015
2 Symmetry The (sometimes vague) idea of symmetry permeates all areas of math and science.
3 Symmetry Physics:
4 Symmetry Biology:
5 Symmetry
6 Symmetry
7 Symmetry
8 Symmetry Chemistry:
9 Symmetry Mathematics: i) x 2 + y 2 + z 2 ii) x 3 + 7x 2 y + 7xy 2 + y 3 iii) x 3 + y 3 + z 3 + xyz 37 The study of so-called symmetric polynomials like these led to the creation of the field of group theory.
10 Groups A group is an object used by mathematicians to study symmetry. Roughly speaking, different groups describe different flavors of symmetry.
11 Groups More precisely, a group (usually denoted G) is defined by two things: i) A set of objects, called elements of G, ii) A rule (denoted by and called multiplication) for combining any two elements of G to get another element of G, such that a) there is an identity element 1 G so that 1 g = g for any g G, b) for each g G, there is an inverse element g 1 G such that g g 1 = 1, and c) the group multiplication is associative: g 1 (g 2 g 3 ) = (g 1 g 2 ) g 3.
12 Groups This definition may look somewhat contrived at first; try thinking of a group as a sort of self-contained machine, where any action has an opposite action.
13 Groups Groups pop up everywhere; you are already familiar with several examples, such as...
14 Groups Example 1: The set of integers Z, using normal addition as the rule for combining two integers. i) 0 + n = n, n Z ii) n + ( n) = 0, n Z iii) m + (n + p) = (m + n) + p, m, n, p Z
15 Groups Example 2: A vector space V is (among other things) a group, with vectors as elements and vector addition as the rule for combining elements. i) 0 + v = v, v V ii) v + ( v) = 0, v V iii) u + (v + w) = (u + w) + v, u, v, w V
16 Groups Slightly more abstractly, we can consider a triangle floating in two dimensional space. The ways we can manipulate the triangle while keeping its location in space fixed form a group of six elements, called D 3.
17 Groups Yet another group is the set of translations in the plane along the x-axis in integral increments. Notice that this group can be considered the same as Z.
18 Groups We want to understand how groups are used to study symmetry. In particular, we will be interested in how groups describe symmetries of objects in 1,2, and 3-dimensional space.
19 Crystals One of the more striking examples of symmetry in nature are in the form of crystals. By definition, a crystal is a solid whose atoms have a periodic arrangement. We can think of them as a single three-dimensional pattern repeated forever in three given directions.
20 Crystals
21 Crystals
22 Crystals
23 Crystals We would like a mathematical, methodical way of classifying three dimensional crystals. The trick will be to associated a given crystal with a unique group that describes its symmetry. These are called space groups. We will say that two crystals are the same if they are both described by the same space group. To understand what these groups look like, we need a little more background.
24 Space Groups An isometry of three dimensional space is a motion of the space that preserves distances between points. Some example of isometries are the translations described earlier, rotations around a point, reflections through a fixed plane, and glide reflections (a translation and a reflection at the same time).
25 Space Groups With a little work, it can be shown that all isometries φ of a three-dimensional vector space V act on vectors v V by the formula φ(v) = Av + w, Where A is a 3 3 orthogonal matrix and w is a chosen, fixed vector in V.
26 Space Groups In other words, every isometry acts on a vector by first pointing it in a different direction (while preserving its length) and then translating that vector by some distance in the new direction it is pointing.
27 Space Groups Luckily, for our purposes, the set of isometries of V form a group! You can check the requirements for a group (the identity element is just the isometry that does nothing), but the important thing to notice is that the composition of two isometries is another isometry: A(Bv + w B ) + w A = ABv + (Aw B + w A ).
28 Space Groups The isometries of V = R 3 form a gigantic (uncountably infinite) group. The space groups that will describe symmetries of crystals will be subsets (called subgroups) of this larger group. More precisely, a space group G is a discrete subgroup of Isom(R 3 ) such that the quotient space R 3 /G is compact.
29 Space Groups This definition fits exactly with our problem of classifying types of crystals. If we can determine all possible space groups sitting inside of Isom(R 3 ), we will have classified every type of periodic arrangement of solids. To see how this is done, we will look at the easier cases of one and two-dimensional space.
30 Space Groups In one dimension, there are exactly two types of space groups: those that describe objects with purely translational symmetry and those that describe objects with both translational and reflection symmetry.
31 Space Groups Case 1: The one dimensional, purely translational symmetry can be seen in the following picture: If we think of each circled dot as lying on an integer, the left and right translations can be described exactly by a choice of positive or negative integer. In other words, the space group G that describes this one-dimensional crystal is Z.
32 Space Groups Case 2: The one dimensional symmetry that involves both translations and reflections can be seen in this picture: Here we think of the circled dots and center small dots as lying on integers; our symmetries amount to a choice of distance to translate and a choice of dot to reflect across. In group theory language, this is described by the space group G = Z Z 2. This is known as the infinite dihedral group D.
33 Space Groups The two-dimensional case becomes more complicated. There turn out to be 17 different space groups, known as the wallpaper groups.
34 Space Groups
35 Space Groups Like in the one-dimensional case, these wallpaper groups can be classified by hand: here is an example of a portion of the flow chart used to do this:
36 Space Groups As an example, consider the following wallpaper pattern: This pattern has translational symmetry in both the vertical and horizontal direction, as well as symmetry by reflections through vertical lines.
37 Space Groups The space group that describes this symmetry is known as pm. Convince yourself that the two patterns below are the same in our symmetrical sense:
38 Space Groups
39 Space Groups
40 Space Groups
41 Space Groups Not surprisingly, the three-dimensional case is much more complicated. We shall have mercifully little to say about the 230 space groups... -N.W. Ashcroft and N.D. Mermin, Solid State Physics
42 Space Groups The 230 space groups in three dimensional space were classified by hand (with a couple mistakes), in 1891 by Evgraf Federov.
43 Space Groups The method he used was similar to our flow chart from two dimensions; it involved first classifying the solids involved (called fundamental regions) into 7 classes, such as the triclinic solid shown here:
44 Space Groups An example of a crystal from the triclinic categroy is microcline:
45 Space Groups In fact... Another category of crystal is the monoclic. The fundamental region in this category has translation symmetry in three directions and reflection symmetry through parallel vertical planes. An example of this is the crystal gypsum:
46 Space Groups A box full of (three dimensional) Billy Crystals has the same space group as gypsum!
47 Space Groups So, there are 2 space groups of one dimension, 17 of two dimensions, and 230 of of three dimensions. This raises the natural question: what about space groups of n dimensions? Are there always finitely many for a given dimension? This question was formally stated by David Hilbert in 1900 at the International Congress of Mathematicians:
48 Space Groups Is there in n-dimensional Euclidean space...only a finite number of essentially different kinds of groups of motions with a compact fundamental domain?
49 Space Groups This question, which is part of a larger question known as Hilbert s 18th Problem, was answered affirmatively by Bierbach in In four dimensions, there are 4894 types of space group. In five dimensions, there are 222,097. In six dimensions, there are 28,927,915. There is no known formula for the number of space groups in n dimensions.
50 Space Groups Modern mathematicians use much more sophisticated tools than flow charts to describe space groups. For a given space group G, we can consider the subgroup M (the lattice) which is responsible for translations, and the subgroup H = G/M (the point group), which is responsible for the symmetries of the fundamental region.
51 Space Groups Unfortunately, the datum from M and H is not enough to define G. We look at an example:
52 Space Groups
53 Space Groups
54 Space Groups Both tilings have translational symmetry in the direction of e 1 and e 2, and both have a fundamental region whose symmetries are given by D 4. However, these tilings do not have the same symmetry since in the first case we can rotate around the intersection of two lines of symmetry, and in the second case we cannot.
55 Space Groups To find the missing information needed to describe G in each case, we need the powerful tool of group cohomology. First we state two facts without proof: Fact 1: If G is a space group, it fits into an exact sequence M G H. Fact 2: In such a case, H acts (faithfully) on M; i.e., M is an H-module.
56 Space Groups Group Cohomology in 1 Minute
57 Space Groups Let C n (H, M) be the set of all functions from H n M. This is an abelian group. There exist homomorphisms d n : C n (H, M) C n+1 (H, M) such that d n d n 1 = 0 n. Let Z n (H, M) = Ker(d n ) and B n (H, M) = Im(d n 1 ). Let H n (H, M) = Z n (H, M)/B n (H, M). This is called the n th cohomology group of H with coefficients in M.
58 Space Groups It turns out that the second cohomology, H 2 (H, M) can be identified with the set of space groups G which fill the exact sequence from before! In the case of our example diagrams, we have that H 2 (D 4, Z Z) = Z 2.
59 Space Groups There is much more to be said about space groups and their applications to crystallography. A good start is to read Crystallography and Cohomology of Groups, a short but very well written paper by Howard Hiller.
60 Representations of Groups The classification of space groups is really only half the story; now that we know what they look like, how do we study them in a meaningfull way? One particularly useful tool for this is a group representation.
61 Representations of Groups The motivation for representations comes from the fact that linear algebra is perhaps the most useful and well understood area of math.
62 Representations of Groups Math Problem Is it linear? yes Use linear algebra. no Linearize it! Use linear algebra.
63 Representations of Groups A representation ρ of a group G is a homomorphism from the group to the linear transformations of a chosen n-dimensional vector space V, which can be viewed as elements of GL n (C): ρ : G GL n (C).
64 Representations of Groups In other words, a representation ρ of G assigns an invertible matrix to each element of G so that the multiplication in the group is preserved in the image of G: ρ(g 1 g 2 ) = ρ(g 1 )ρ(g 2 ).
65 Representations of Groups As an example, consider the dihedral group D 3 discussed earlier:
66 Representations of Groups We can concretize D 3 by representing these actions on the triangle by matrices that act on, say, the complex plane: ( ) ( ) 1 0 e 2πi/3 0, e 2πi/3 ( ) ( e 2πi/3, 1 0 e 2πi/e 0 ( e 4πi/3 0, 0 e 4πi/3 ), ), ( ) 0 e 4πi/3 e 4πi/3 0
67 Representations of Groups Once we have represented a group in this way, we can talk about it in linear algebraic terms and consider things such as bases, eigenvalue, eigenvectors, Jordan normal form, etc.
68 Representations of Groups We can also use representations to filter out noise and focus on specific symmetry properties while ignoring others. For example, we can look at our representation of D 3 as acting on four-dimensional complex space by just mapping elements of D 3 to two copies of the original inside a 4 4 block diagonal matrix:
69 Representations of Groups ρ(rotation by 120 degrees) = e 2πi/ e 2πi/ e 2πi/ e 2πi/3.
70 Representations of Groups This representation can be thought of as acting on two triangles simultaneously, one living in the first two complex dimensions, and the other living in the third and fourth. Notice that this action moves vectors living in the first two dimensions inside their own subspace:
71 Representations of Groups e 2πi/ e 2πi/ e 2πi/ e 2πi/3 a b 0 = 0 ae 2πi/e be 2πi/3 0 0.
72 Representations of Groups Such a representations is called reducible. It means that we can peel off unneccessary layers of symmetry and focus on smaller things.
73 Representations of Groups An example from chemistry is the symmetry of the water molecule:
74 Representations of Groups The water molecule has rotational, reflection, and translation symmetry when viewed as living inside a large collection of molecules. There is also more subtle symmetry in the form of molecular vibrations: the periodic motion of the bonds between the atoms in the molecule.
75 Representations of Groups By using representations to ignore the non-vibrational symmetries, we can classify the possible motions between the atoms in water:
76 Representations of Groups This construction is too involved for this talk, but it is handled in a very readable, elementary way in the link below: http: // nancy2010/souvignier_irrep_syllabus.pdf
77 Representations of Groups This is the end of the symmetry story for now, I hope this has encouraged you to look more into the fascinating mathematics behind crystallography, group cohomology, and representation theory!
78 Thanks!
1 GROUPS MEASURE SYMMETRY
y 1 GROUPS MEASURE SYMMETRY Consider a square in the xy-plane with its center at the origin and its sides parallel to the x and y-axes (Figure 1). y -1---+--+--x Figure 1 There are eight transformations
More informationMath 396. Quotient spaces
Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition
More informationAN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS
AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply
More information2 Systems of Linear Equations
2 Systems of Linear Equations A system of equations of the form or is called a system of linear equations. x + 2y = 7 2x y = 4 5p 6q + r = 4 2p + 3q 5r = 7 6p q + 4r = 2 Definition. An equation involving
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationAn Intuitive Introduction to Motivic Homotopy Theory Vladimir Voevodsky
What follows is Vladimir Voevodsky s snapshot of his Fields Medal work on motivic homotopy, plus a little philosophy and from my point of view the main fun of doing mathematics Voevodsky (2002). Voevodsky
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationLecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)
Lecture 0: A (Brief) Introduction to Group heory (See Chapter 3.3 in Boas, 3rd Edition) Having gained some new experience with matrices, which provide us with representations of groups, and because symmetries
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationa (b + c) = a b + a c
Chapter 1 Vector spaces In the Linear Algebra I module, we encountered two kinds of vector space, namely real and complex. The real numbers and the complex numbers are both examples of an algebraic structure
More informationChapter 3. Introducing Groups
Chapter 3 Introducing Groups We need a super-mathematics in which the operations are as unknown as the quantities they operate on, and a super-mathematician who does not know what he is doing when he performs
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationchapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS
chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader
More informationMath 52: Course Summary
Math 52: Course Summary Rich Schwartz September 2, 2009 General Information: Math 52 is a first course in linear algebra. It is a transition between the lower level calculus courses and the upper level
More informationStructure of Materials Prof. Anandh Subramaniam Department of Material Science and Engineering Indian Institute of Technology, Kanpur
Structure of Materials Prof. Anandh Subramaniam Department of Material Science and Engineering Indian Institute of Technology, Kanpur Lecture - 5 Geometry of Crystals: Symmetry, Lattices The next question
More information(d) Since we can think of isometries of a regular 2n-gon as invertible linear operators on R 2, we get a 2-dimensional representation of G for
Solutions to Homework #7 0. Prove that [S n, S n ] = A n for every n 2 (where A n is the alternating group). Solution: Since [f, g] = f 1 g 1 fg is an even permutation for all f, g S n and since A n is
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationLinear Algebra, Summer 2011, pt. 2
Linear Algebra, Summer 2, pt. 2 June 8, 2 Contents Inverses. 2 Vector Spaces. 3 2. Examples of vector spaces..................... 3 2.2 The column space......................... 6 2.3 The null space...........................
More informationChapter 3: Groups in science, art, and mathematics
Chapter 3: Groups in science, art, and mathematics Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Spring 2014 M. Macauley (Clemson)
More informationMath (P)Review Part I:
Lecture 1: Math (P)Review Part I: Linear Algebra Computer Graphics CMU 15-462/15-662, Fall 2017 Homework 0.0 (Due Monday!) Exercises will be a bit harder / more rigorous than what you will do for the rest
More informationSequence convergence, the weak T-axioms, and first countability
Sequence convergence, the weak T-axioms, and first countability 1 Motivation Up to now we have been mentioning the notion of sequence convergence without actually defining it. So in this section we will
More information0.2 Vector spaces. J.A.Beachy 1
J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a
More information6 Cosets & Factor Groups
6 Cosets & Factor Groups The course becomes markedly more abstract at this point. Our primary goal is to break apart a group into subsets such that the set of subsets inherits a natural group structure.
More information12x + 18y = 30? ax + by = m
Math 2201, Further Linear Algebra: a practical summary. February, 2009 There are just a few themes that were covered in the course. I. Algebra of integers and polynomials. II. Structure theory of one endomorphism.
More informationModern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur
Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture 02 Groups: Subgroups and homomorphism (Refer Slide Time: 00:13) We looked
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
More informationDefinition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.
13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationGROUPS AND THEIR REPRESENTATIONS. 1. introduction
GROUPS AND THEIR REPRESENTATIONS KAREN E. SMITH 1. introduction Representation theory is the study of the concrete ways in which abstract groups can be realized as groups of rigid transformations of R
More informationContents. 1 Vectors, Lines and Planes 1. 2 Gaussian Elimination Matrices Vector Spaces and Subspaces 124
Matrices Math 220 Copyright 2016 Pinaki Das This document is freely redistributable under the terms of the GNU Free Documentation License For more information, visit http://wwwgnuorg/copyleft/fdlhtml Contents
More informationFinal Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2
Final Review Sheet The final will cover Sections Chapters 1,2,3 and 4, as well as sections 5.1-5.4, 6.1-6.2 and 7.1-7.3 from chapters 5,6 and 7. This is essentially all material covered this term. Watch
More informationVector Spaces. Chapter 1
Chapter 1 Vector Spaces Linear algebra is the study of linear maps on finite-dimensional vector spaces. Eventually we will learn what all these terms mean. In this chapter we will define vector spaces
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More information5.5. Representations. Phys520.nb Definition N is called the dimensions of the representations The trivial presentation
Phys50.nb 37 The rhombohedral and hexagonal lattice systems are not fully compatible with point group symmetries. Knowing the point group doesn t uniquely determine the lattice systems. Sometimes we can
More informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationLinear Algebra I. Ronald van Luijk, 2015
Linear Algebra I Ronald van Luijk, 2015 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents Dependencies among sections 3 Chapter 1. Euclidean space: lines and hyperplanes 5 1.1. Definition
More informationStripey Squares. Kelly Delp Ithaca College Ithaca, NY 14850, USA Abstract
Stripey Squares Kelly Delp Ithaca College Ithaca, NY 14850, USA kelly.delp@gmail.com Abstract A black and white image can be represented by a matrix containing numbers between 0 and 1; we describe a way
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More informationCurtis Heberle MTH 189 Final Paper 12/14/2010. Algebraic Groups
Algebraic Groups Curtis Heberle MTH 189 Final Paper 12/14/2010 The primary objects of study in algebraic geometry are varieties. Having become acquainted with these objects, it is interesting to consider
More informationft-uiowa-math2550 Assignment NOTRequiredJustHWformatOfQuizReviewForExam3part2 due 12/31/2014 at 07:10pm CST
me me ft-uiowa-math2550 Assignment NOTRequiredJustHWformatOfQuizReviewForExam3part2 due 12/31/2014 at 07:10pm CST 1. (1 pt) local/library/ui/eigentf.pg A is n n an matrices.. There are an infinite number
More informationFermat s Last Theorem for Regular Primes
Fermat s Last Theorem for Regular Primes S. M.-C. 22 September 2015 Abstract Fermat famously claimed in the margin of a book that a certain family of Diophantine equations have no solutions in integers.
More informationGENERATING SETS KEITH CONRAD
GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors
More informationLecture 1. Renzo Cavalieri
Lecture 1 Renzo Cavalieri Enumerative Geometry Enumerative geometry is an ancient branch of mathematics that is concerned with counting geometric objects that satisfy a certain number of geometric conditions.
More information1.1.1 Algebraic Operations
1.1.1 Algebraic Operations We need to learn how our basic algebraic operations interact. When confronted with many operations, we follow the order of operations: Parentheses Exponentials Multiplication
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationChapter 4 & 5: Vector Spaces & Linear Transformations
Chapter 4 & 5: Vector Spaces & Linear Transformations Philip Gressman University of Pennsylvania Philip Gressman Math 240 002 2014C: Chapters 4 & 5 1 / 40 Objective The purpose of Chapter 4 is to think
More informationLecture 8: A Crash Course in Linear Algebra
Math/CS 120: Intro. to Math Professor: Padraic Bartlett Lecture 8: A Crash Course in Linear Algebra Week 9 UCSB 2014 Qué sed de saber cuánto! Pablo Neruda, Oda a los Números 1 Linear Algebra In the past
More informationMATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS
MATH 221: SOLUTIONS TO SELECTED HOMEWORK PROBLEMS 1. HW 1: Due September 4 1.1.21. Suppose v, w R n and c is a scalar. Prove that Span(v + cw, w) = Span(v, w). We must prove two things: that every element
More informationVector Spaces. 9.1 Opening Remarks. Week Solvable or not solvable, that s the question. View at edx. Consider the picture
Week9 Vector Spaces 9. Opening Remarks 9.. Solvable or not solvable, that s the question Consider the picture (,) (,) p(χ) = γ + γ χ + γ χ (, ) depicting three points in R and a quadratic polynomial (polynomial
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationMTH Linear Algebra. Study Guide. Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education
MTH 3 Linear Algebra Study Guide Dr. Tony Yee Department of Mathematics and Information Technology The Hong Kong Institute of Education June 3, ii Contents Table of Contents iii Matrix Algebra. Real Life
More information0. Introduction 1 0. INTRODUCTION
0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as
More informationSymmetry. Professor Robert A. Wilson. 22nd July Queen Mary, University of London
Symmetry Professor Robert A. Wilson Queen Mary, University of London 22nd July 2008 INTRODUCTION What do mathematicians do? A mathematician is a machine for turning coffee into theorems P. Erdös What do
More informationLecture 1: Overview. January 24, 2018
Lecture 1: Overview January 24, 2018 We begin with a very quick review of first-order logic (we will give a more leisurely review in the next lecture). Recall that a linearly ordered set is a set X equipped
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationChapter 8. Rigid transformations
Chapter 8. Rigid transformations We are about to start drawing figures in 3D. There are no built-in routines for this purpose in PostScript, and we shall have to start more or less from scratch in extending
More informationAn Introduction to Tropical Geometry
An Introduction to Tropical Geometry Ryan Hart Doenges June 8, 2015 1 Introduction In their paper A Bit of Tropical Geometry [1], Erwan Brugallé and Kristin Shaw present an elementary introduction to the
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationIntroducing Proof 1. hsn.uk.net. Contents
Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction
More information2.4 Investigating Symmetry
Locker LESSON 2.4 Investigating Symmetry Texas Math Standards The student is expected to: G.3.D Identify and distinguish between reflectional and rotational symmetry in a plane figure. Mathematical Processes
More informationimplies that if we fix a basis v of V and let M and M be the associated invertible symmetric matrices computing, and, then M = (L L)M and the
Math 395. Geometric approach to signature For the amusement of the reader who knows a tiny bit about groups (enough to know the meaning of a transitive group action on a set), we now provide an alternative
More information1 Matrices and Systems of Linear Equations. a 1n a 2n
March 31, 2013 16-1 16. Systems of Linear Equations 1 Matrices and Systems of Linear Equations An m n matrix is an array A = (a ij ) of the form a 11 a 21 a m1 a 1n a 2n... a mn where each a ij is a real
More informationExercises on chapter 0
Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that
More informationProjects in Geometry for High School Students
Projects in Geometry for High School Students Goal: Our goal in more detail will be expressed on the next page. Our journey will force us to understand plane and three-dimensional geometry. We will take
More informationDot Products. K. Behrend. April 3, Abstract A short review of some basic facts on the dot product. Projections. The spectral theorem.
Dot Products K. Behrend April 3, 008 Abstract A short review of some basic facts on the dot product. Projections. The spectral theorem. Contents The dot product 3. Length of a vector........................
More informationLecture 4.1: Homomorphisms and isomorphisms
Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture
More informationMATH 308 LINEAR ALGEBRA NOTES
MATH 308 LINEAR ALGEBRA NOTES S. PAUL SMITH Contents 1. Introduction 2 2. Matrix arithmetic 2 2.1. Matrices 101 2 2.2. Row and column vectors 3 2.3. Addition and subtraction 4 2.4. The zero matrix and
More informationSpectral Graph Theory Lecture 2. The Laplacian. Daniel A. Spielman September 4, x T M x. ψ i = arg min
Spectral Graph Theory Lecture 2 The Laplacian Daniel A. Spielman September 4, 2015 Disclaimer These notes are not necessarily an accurate representation of what happened in class. The notes written before
More informationwe have the following equation:
1 VMTS Homework #1 due Thursday, July 6 Exercise 1 In triangle ABC, let P be 2 3 of the way from A to B, let Q be 1 3 of the way from P to C, and let the line BQ intersect AC in R How far is R along the
More informationPeriodic Graphs and Crystal Design
Periodic Graphs and Crystal Design Gregory McColm Department of Mathematics & Statistics University of South Florida - Tampa Campus Tampa, FL 33620 http://www.math.usf.edu/~mccolm mccolm@cas.usf.edu 1
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More informationDynkin Diagrams or Everything You Ever Wanted to Know About Lie Algebras (But Were Too Busy To Ask)
Dynkin Diagrams or Everything You Ever Wanted to Know About Lie Algebras (But Were Too Busy To Ask) Nicolas Rey-Le Lorier November 12 2012 1 Introduction This is a compilation of the definitions that I
More informationSymmetries and Polynomials
Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections
More information5 Symmetries and point group in a nut shell
30 Phys520.nb 5 Symmetries and point group in a nut shell 5.1. Basic ideas: 5.1.1. Symmetry operations Symmetry: A system remains invariant under certain operation. These operations are called symmetry
More informationChapter 1. Linear Equations
Chapter 1. Linear Equations We ll start our study of linear algebra with linear equations. Lost of parts of mathematics rose out of trying to understand the solutions of different types of equations. Linear
More informationMa/CS 6a Class 19: Group Isomorphisms
Ma/CS 6a Class 19: Group Isomorphisms By Adam Sheffer A Group A group consists of a set G and a binary operation, satisfying the following. Closure. For every x, y G x y G. Associativity. For every x,
More informationMath 210B. The bar resolution
Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial
More informationCS168: The Modern Algorithmic Toolbox Lecture #8: How PCA Works
CS68: The Modern Algorithmic Toolbox Lecture #8: How PCA Works Tim Roughgarden & Gregory Valiant April 20, 206 Introduction Last lecture introduced the idea of principal components analysis (PCA). The
More informationEquivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms
Equivalence Relations and Partitions, Normal Subgroups, Quotient Groups, and Homomorphisms Math 356 Abstract We sum up the main features of our last three class sessions, which list of topics are given
More informationLECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
More informationThe Integers. Math 3040: Spring Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers Multiplying integers 12
Math 3040: Spring 2011 The Integers Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers 11 4. Multiplying integers 12 Before we begin the mathematics of this section, it is worth
More informationMath 123, Week 2: Matrix Operations, Inverses
Math 23, Week 2: Matrix Operations, Inverses Section : Matrices We have introduced ourselves to the grid-like coefficient matrix when performing Gaussian elimination We now formally define general matrices
More informationMath 308 Midterm Answers and Comments July 18, Part A. Short answer questions
Math 308 Midterm Answers and Comments July 18, 2011 Part A. Short answer questions (1) Compute the determinant of the matrix a 3 3 1 1 2. 1 a 3 The determinant is 2a 2 12. Comments: Everyone seemed to
More informationLinear algebra II Tutorial solutions #1 A = x 1
Linear algebra II Tutorial solutions #. Find the eigenvalues and the eigenvectors of the matrix [ ] 5 2 A =. 4 3 Since tra = 8 and deta = 5 8 = 7, the characteristic polynomial is f(λ) = λ 2 (tra)λ+deta
More informationNONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction
NONCOMMUTATIVE POLYNOMIAL EQUATIONS Edward S Letzter Introduction My aim in these notes is twofold: First, to briefly review some linear algebra Second, to provide you with some new tools and techniques
More informationUMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS
UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS 1. Relations Recall the concept of a function f from a source set X to a target set Y. It is a rule for mapping
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationMath 3361-Modern Algebra Lecture 08 9/26/ Cardinality
Math 336-Modern Algebra Lecture 08 9/26/4. Cardinality I started talking about cardinality last time, and you did some stuff with it in the Homework, so let s continue. I said that two sets have the same
More informationThe Adjoint Functor Theorem.
The Adjoint Functor Theorem. Kevin Buzzard February 7, 2012 Last modified 17/06/2002. 1 Introduction. The existence of free groups is immediate from the Adjoint Functor Theorem. Whilst I ve long believed
More informationUNDERSTANDING THE DIAGONALIZATION PROBLEM. Roy Skjelnes. 1.- Linear Maps 1.1. Linear maps. A map T : R n R m is a linear map if
UNDERSTANDING THE DIAGONALIZATION PROBLEM Roy Skjelnes Abstract These notes are additional material to the course B107, given fall 200 The style may appear a bit coarse and consequently the student is
More informationLesson 1 WHAT S A GROUP?
WHAT S A GROUP? What is a group? Well, that s a question we can begin to answer in several different ways. First and foremost, we can say that groups are composed of cycles and that s why groups are so
More informationFFTs in Graphics and Vision. Groups and Representations
FFTs in Graphics and Vision Groups and Representations Outline Groups Representations Schur s Lemma Correlation Groups A group is a set of elements G with a binary operation (often denoted ) such that
More informationOn Three-Dimensional Space Groups
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 4 (00), No., 475-507. On Three-Dimensional Space Groups John H. Conway Daniel H. Huson Olaf Delgado Friedrichs William P.
More informationAlgebraic groups Lecture 1
Algebraic groups Lecture Notes by Tobias Magnusson Lecturer: WG September 3, 207 Administration Registration: A sheet of paper (for registration) was passed around. The lecturers will alternate between
More informationExercises to Applied Functional Analysis
Exercises to Applied Functional Analysis Exercises to Lecture 1 Here are some exercises about metric spaces. Some of the solutions can be found in my own additional lecture notes on Blackboard, as the
More informationEigenvalues and Eigenvectors: An Introduction
Eigenvalues and Eigenvectors: An Introduction The eigenvalue problem is a problem of considerable theoretical interest and wide-ranging application. For example, this problem is crucial in solving systems
More informationABSTRACT ALGEBRA. Romyar Sharifi
ABSTRACT ALGEBRA Romyar Sharifi Contents Introduction 7 Part 1. A First Course 11 Chapter 1. Set theory 13 1.1. Sets and functions 13 1.2. Relations 15 1.3. Binary operations 19 Chapter 2. Group theory
More informationRepresentation Theory. Ricky Roy Math 434 University of Puget Sound
Representation Theory Ricky Roy Math 434 University of Puget Sound May 2, 2010 Introduction In our study of group theory, we set out to classify all distinct groups of a given order up to isomorphism.
More information