“A place where thoughts come to play and writing acts as motivation”
Mathsight is a long term project that started in October 2025 and aims to chart a learning experience in mathematics from the fundamentals of set theory forward. Posts are about anything from engineering, science and mathematics. The pages listed in the menus detail the theory. The posts are about all matters.
Latest :
-
Homomorphic and Isomorphic maps
A homomorphism is a function between two sets and such that the Group structure of the set is preserved. Let the set have a law of composition such that forms a Group . Let also the set have a law of composition Definition: Let Then is a homomorphic map. It is important to note that the first is the law of composition on the set and the second is the law of composition on the set . If and and . If then under , . Then under…
-
Logic Symbols
Throughout this blog there are a number of symbols used that relate to mathematical logic. These are connectives such as and quantifiers . The connectives can be described by truth tables in logic. In summary: “From the proposition that something is true, it follows that it is true.”— Principia Mathematica is ‘AND’. is true if and only if both and are true. is ‘OR’. is true if either or or both and are true. is ‘IMPLIES’. is only false if is true and is false. is ‘IF AND ONLY IF’. is…
-
Functions
“Mathematics is the study of functions.”— Vito Volterra Theory Functions are evidently important in mathematics. The definition of a function follows from set theory and it is worth exploring the derivation. Commonly a function is seen as something like . However, their definition is grounded in set theory. A function should be seen as an assignment of an element of a set to an element of a set with some restrictions. This idea can be stated as: Where is the function. The image of is the element in the…
-
About
I am a structural engineer that has spent a lifetime of using numbers to make buildings stand up and sometimes, to explain why they don’t! I enjoying seeing beauty in the world through striving to understand the analytical principles that underpin our life. As a hobby, I like to read mathematics and physics to underpin a deeper understanding of the analysis in the world. Rather than keep this learning to myself, I chose to inflict it on the world in this blog as motivation to keep learning. I first enjoyed…
-
A Relation
A relationship can be viewed as a statement about an ordered that is true. We can make this statement as where is the relation on the ordered pair. If we have the set of all ordered pairs then the set of these pairs that satisfy are a subset of . Definition: Let be a relation and be a set. implies the relationship is reflexive. Definition: Let be a relation and be a set. .The relationship is symmetric. Definition: Let be a relation and be a set. .The relationship is antisymmetric.…
-
The Cartesian Product
We have encountered the definition of an ordered pair when studying the pairing axiom. We could form a set of all order pairs by defining a cartesian product between two sets, or even of a set and itself. Definition: The cartesian product of two sets and is the set of all ordered pairs where is an element of and is an element of . But is this a set? To answer this we need the concept of the Power Set of a set . Definition: The Power Set is the…

