Unless otherwise specified, we will assume ZF axioms. Recall the following ZF axiom:
Axiom of Infinity:
We will call the set of natural numbers. That is,
We can then define and iterate as before, whence by applying the axiom of infinity again we can obtain and so on. All such sets generated by this process are called ordinals. This in turn gives us the canonical linear ordering of the ordinals where iff
Definition 1. An ordinal is a successor ordinal iff A limit ordinal is an ordinal which is not a successor ordinal.
Proposition 2. (Transfinite Induction) Let denote the class of all ordinals (in accordance to VBG notion of class) and be a class. If
- if is a limit ordinal and for all then
Proof. Since is a linear ordering on the ordinals, let be the least ordinal such that But then which is a contradiction. Hence
We can index ordinals with ordinals to generate the notion of a sequence of ordinals. We define an nondecreasing (nonincreasing) sequence of ordinals an ordered set of ordinals where iff
Definition 3. Let be an nondecreasing sequence of ordinals and be a limit ordinal and Then we define the limit of the sequence as
A dual definition can be defined for nonincreasing sequences, in which case the limits can be respectively distinguished as left and right limits. A sequence is continuous if for every limit ordinal in the indexing subclass we have
An example of a sequence which is not continuous may be one of the form where are both limit ordinals. So in this case
(since the sup is actually a max in this case).
Definition 4. (Ordinal Arithmetic) We define
It follows that addition and multiplication are both associative, but not commutative. In particular one can see that
Definition 5. For a set we define its cardinality, denoted as the unique ordinal with which the set has a bijection. The corresponding subclass of ordinals is called the class of cardinals.
Proposition 6. If then
Proof. For every define
Hence the mapping is a bijection between and
Hence in this context, Cantor’s theorem immediately follows:
Proposition 7. Let and Then
Proof. We have
Also if and are bijections, then we can define by and this is easily seen to be a bijection.
And if then we can define which is also seen to be a bijection.
It thus follows that addition and multiplication of cardinals are commutative (that is, ordinal operations are commutative on this subclass).
Above we said and But
for any finite ordinal with Knuth notation
having raisings of Consider the following convention for defining countable infinite ordinals:
They are all called countable infinite ordinals since for any one of them To clarify when we are talking about cardinal numbers versus ordinal numbers, we will use aleph notation: From Cantor’s theorem above, we know that if then That is, the ordinal corresponding to must be greater than all of the countable ordinals above, otherwise its cardinality would be This necessitates the notion of uncountable ordinals and corresponding uncountable cardinals. We use subscripts to characterize these: etc.
Definition 8. An infinite cardinal is a successor cardinal iff is a successor ordinal, and it is a limit cardinal iff is a limit ordinal.
Definition 9. Let be a limit ordinal. An increasing –sequence with a limit ordinal is cofinal in if And if is an ordinal, then we define its cofinality as
It is easy to verify that iff is a successor ordinal. Also and for any finite ordinal
Proof. Let Then (in particular it is the smallest such ). Now if then certainly Now since is cofinal in a subsequence of indices is cofinal in (where cofinality can be chosen to be ). So
But then is cofinal in That is,
Definition 11. An ordinal is regular if It is singular if it is not regular.
Corollary 12. If is a limit ordinal, then is a regular cardinal.
Theorem 13. If is an infinite cardinal, then
 Jech, Thomas. Set Theory. 3rd Edition. Springer Monographs in Mathematics. Springer-Verlag. 2000.
As it is no surprise about the education in the US, science in particular has also been suffering. Last week in the April meeting of the American Physics Society, a group of physicists made precisely this claim. The primary data used in the basis of their argument was the decline in degrees in science. This data is certainly consistent with the argument that the US is falling behind in science. There is no debate that good performance in science predicates the choice of a degree in science. That is to say, the decline in degrees in science is mostly a consequence of poor performance in science earlier–rather than the cause of it. So the natural question is: why are kids less interested in science?
The everyday life of a kid is governed by three structures: school, parents, and other media they encounter (including television, internet, and social structure). It follows that one should be able to attribute the decline in scientific interest to one or more of these structures. Suppose we assume two things: (1) that there is a problem at some generation with respect to science advocacy in some of these components, and (2) that the extent to which kids assimilate to the scientific understanding of their mentors (i.e. parents and teachers) is strictly less than complete (that is, in an abstract isolated teacher-student situation, the student can only learn a proper subset of the teacher’s knowledge). These two assumptions ensure a gradual decline in scientific understanding over the course of future generations.
These assumptions make it no surprise that deficiencies in science can only get worse over time. This only leaves two more questions: how did the deficiency begin, and how can it be fixed? I might take a bold but not entirely unreasonable guess that much of it can be attributed to what I previously called curriculum that is not “readily applicable to everyday situations”. Who is in charge of deciding this curriculum? The answer to this is: precisely those who originally learned this curriculum. So again, it is no surprise why nothing changes. Many point to issues like parenting, television, and other media as the problem. But each of these are easily traceable back to the fact that members of each of these components (parents and media affiliates) had a similar education anyway. This further reinforces the claim that the curriculum itself might need to change.
Now if we change the curriculum, the question of teachers’ ability to implement it arises. This can be addressed with changes in college curriculum that prepare emerging teachers for a new curriculum in the primary and secondary levels. This seems like it might be the first promising step to address the issue in the long run. In an era where governmental budget deficits are high, the appetite for further investment in education (itself a long-term yet critical investment) also seems to be on the decline. It’s no surprise that a fair amount of politicians’ value placed on scientific investment puts it on the back burner in a budget crisis given that a vast majority of them have no background in science to begin with. This is yet another reason that a change in curriculum seems more promising in my mind than further monetary investments in education. And since the payoffs for this will not be immediate, it is all the more reason to begin a change in curriculum now rather than later. If a scientific curriculum tied closer to reality and pragmatic obstacles implants itself in those who will become the future generations, the hope is that this will in turn resolve the future problems associated to the parents, media, and politicians.
The Cayley-Dickson algebras are special real algebras satisfying
for If we let be the basis of then the algebra is generated by the relations
where Hence and is called the quaternions and is often denoted and are called the octonions and sedenions respectively and are respectively also denoted and
The Cayley-Dickson algebras can also be constructed inductively using a recursive unary operation (called conjugation). It proceeds as follows, let We define constructively. Let and define the following operations:
One can verify this structure is isomorphic to Next we let and define its structure
and addition remaining the same and the inner conjugation being complex conjugation. How does is this retain isomorphism to our original definition of Note the dimension is retained by the fact that
Hence using this as our inclusion, we show the original requirements that
Similar computations can be done for and and for showing that
It turns out and beyond are not associative, so in our initial requirement that
we will clarify that we mean
We continue inductively be setting and defining product and conjugation as before (and componentwise addition). One can establish the following table of properties
where associativity and commutativity refer to the multiplication (the addition is always both). All of the above properties (save the division algebra structure) can at this point (albeit with some tediousness) be shown. If we can define its real part as
Note for we have
For we can define For we have
Similarly we can define For we have
Hence And similarly for we have
so Inductively, one can see that the norm on coincides with the euclidean norm in We can also note that the multiplicative inverse of an element is
Although it turns out that in the sedenions and above ( for ), there are zero divisors (for example, ), so the algebra fails to be a division algebra.
Theorem 1. (Hurwitz’ Theorem) If is a real normed division algebra with identity, then
Corollary 2. (Frobenius’ Theorem) If is an associative real division algebra, then
Generalized Cross Products:
The cross product of two elements can be written
There is a natural way to define a cross product of elements in by
However, our ultimate objective is to define vorticity in other dimensions. So we will want a binary cross product that we can apply to our differential operator and a vector field: We want to satisfy some conditions
These conditions are respectively called bilinearity, orthogonality, and magnitude. Hence we want to be the product in a real normed algebra. Moreover magnitude tells us that we want We also have in our Cayley-Dickson algebras. It turns out that the cross product in can be modeled in as follows. Define by
Then one can verify that for
Note that in the cross product is trivial for all This is obvious if we require it to satisfy orthogonality—where the dot product is just multiplication. So the zero-product property implies the cross product must be It is compatible with our map as well (in this case ):
Hence we are left with one remaining cross product: the cross product in where, hereafter, is defined by
and is the imaginary map
The cross product of is defined by
We will now define
If is differentiable, then we define its curl by
It’s no controversy that education appears to be under par in comparison to what we might hope. I claim this has not only to do with home/environmental conditions for individual students and the ever omnipresent media (and lately, social networking media as well), but also with the curriculum in the classes they take–particularly math and language arts courses. What seems to be the case is that the math courses focus on topics that, while enhancing the mental discipline of students, fail to teach concepts that are readily applicable to everyday situations. Language arts courses emphasize composition (and in particular, stress the ability to make effective arguments) under the premise that students are already well-versed in the grammatical aspects of language (an assumption so far from the truth that the very idea of expecting them to write cogent argumentative essays is ludicrous).
I’d recommend keeping the middle school curriculum essentially the same (introducing key concepts of elementary algebra and geometry), but I’d vehemently oppose the idea of continuing this sort of curriculum for another four years. In 9th grade, students should be introduced to key concepts from set theory (set notations and operations, functions, equivalence relations, bijections and counting principles, and concepts from elementary number theory, including divisibility, prime numbers, and the fundamental theorem of arithmetic). With this collection of concepts in their inventory, they can spend 10th grade covering concepts from logic and proof writing–and applying them to concepts they learned the previous year (as well as everyday phenomena).
11th grade could then be devoted to a more serious algebra course–covering concepts of operations more thoroughly than the 9th grade course, identities, concepts like associativity and commutativity, matrices, inverses, basic definitions and examples of groups, rings, and fields, polynomials, and comparisons between integers, rationals, reals, and complex numbers, and the fundamental theorem of algebra. If students only took these courses and earned a C in them, I’d still argue they were better prepared for life than earning an A in the traditional courses.
An additional 12th grade class covering geometry more seriously could entail concepts of lengths, triangles, trigonometry, polygons, area of polygons, polytopes and hypervolume, axiomatic Euclidean, spherical, and hyperbolic geometry and basic properties of spherical and hyperbolic triangles, approximation of areas/volumes and method of exhaustion (leading up to a freshman course in real analysis (to replace calculus)).
I’d recommend middle school curriculum to focus a little more on grammar and sentence structure. A 9th grade course could solidify this with a rigorous treatment of the core concepts of language: parts of speech, morphology, syntax, and grammar. Concepts like word families, clauses (independent, dependent, subject, and predicate), transitive and intransitive verbs, and sentence diagramming should be emphasized.
A 10th grade course emphasizing argumentative writing would appropriately accompany the 10th grade math curriculum in logic and proof writing. I’d recommend abstaining from requiring students to read nontechnical works until the third year of language arts. This way, rather than getting distracted by a fiction or nonfiction story as a platform for an argument, emphasis is instead placed on the concept of argumentative writing itself. Smaller readings should be used in this course.
An 11th grade course could then more effectively do in one year what four years of language arts typically try to do. This course could focus on work-based and research-based extended essay writing.
Curriculum comparable to the AP English Literature course could make an appropriate optional fourth year class.