Here, we try to solve the following problem (and some related ones):
Problem. Prove that if such that
and
, then either
or
.
Here, we try to solve the following problem (and some related ones):
Problem. Prove that if such that
and
, then either
or
.
In multivariable calculus, we study line integrals and surface integrals, as well as volume integrals and various theorems involving these concepts, including for example the gradient and divergence theorems. We then learn that manifold calculus provides vast generalizations of these concepts and results. We try to understand and tease this out further in this article.
In general topology, a function is defined to be continuous if the preimages of open sets in
are open in
. This doesn’t define however functions that are continuous on just a subset of
or at even a point. An application of continuity on subsets would be topological fields where the multiplicative inverse couldn’t possibly be continuous on all of
, since
includes 0. Since topological fields are standard and well-known concepts, the idea of generalized continuity on subsets must also be standard and well-known. In this article, I scour the Internet to understand how we define this today according to already-established standard literature.
There are multiple equivalent definitions of the (sub)ring generated by a subset. In this article, we state these definitions and prove their equivalence.
We balance chemical equations by making sure the number of atoms of each element is the same on both sides. However, with this as the only criterion, it’s actually not immediate that a particular balancing we find would have to be the only one (up to equivalence.) In other words, we ask whether the set of coefficients we could balance with is one-dimensional (since scaling results in equivalency: and
are equivalent.) Does this require actual chemistry, or is it a more general mathematical fact (under maybe generally mild assumptions?) Can we show this to still be true for all the chemical equations we’d ever actually balance?
Consider a two-qubit system in quantum state . This system may be entangled, so it may not be possible to “separate it out” into a tensor product of individual qubit states. The first qubit has a property given by operator
; what is the expectation of
?
We want to define topological groups as having a compatibility axiom that intuitively says that the “group operation is continuous.” But the group operation is a multivariable function, so how would we define this? And what about for general topological algebras? (Here, “algebra” is meant in the universal algebra sense, not in the “vector space with bilinear multiplication” sense.)