Mathematical notation: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Meg Taylor
m (spelling: hight -> right)
imported>Boris Tsirelson
(→‎Quantors: no, quantifiers)
Line 58: Line 58:
According to these definitons, real numbers belong to the upper part of the complex halfplane and also to the lower part of the complex halfplane.
According to these definitons, real numbers belong to the upper part of the complex halfplane and also to the lower part of the complex halfplane.


==Quantors==
==Quantifiers==
*<math>\forall</math> [[forall|for all]]
*<math>\forall</math> [[forall|for all]]
*<math>\exist</math>
*<math>\exist</math> there exists
 
==Numbers==
==Numbers==
Basic numbers are 0 and 1.
Basic numbers are 0 and 1.

Revision as of 13:39, 11 May 2010

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

Mathematical notation is an abstract writing system used mainly among researchers, and mathematicians in particular. These notations are supposed to be already known, and usually the definitions of these notations are not repeated in scientific texts. For example, the letter i (or j, particularly in engineering fields) is reserved for the imaginary unit; the name exp is reserved for exponentiation, and the letter is reserved for the period of the exponentiation, divided by 2i. In similar way, the character denotes the empty set (which has no elements at all), denotes the set of natural numbers, denotes the set of real numbers, denotes the set of complex numbers, and so on.

Overview

The basic concepts of this slang include grouping, that allows to combine several objects in one. Usually, the grouping is denoted with parenthesis. Also, the parenthesis are used to incifate the argument of operations; especially, if some operations from some set (called group) can be applied sequentially, one by one, in raw, for example, .

All things mathematicians deal with are called objects, and each object is supposed to belong to some set of objects, which is either already defined, or allows some independent definition. The possibility of such independent definition is especially important in order to exclude from the consideration such things as set of all possible sets which easy lead to paradoxes, at very beginning.

Mathematicians like to give names to all objects they deal with. Some ot these names are so established, that they are supposed to known a priori, for example, the equality, basic arithmetical operations, natural numbers, numbers e and , etvetera. Such names form the basics of the mathematical notations.

Equvalence

Equivalence is renoted with symbol . this symbol means that in some specific consideration, mathematicians makes no need to distinguish objects that appear at the left hand side of this character from the object that appear in the right hand side. In the most of cases, the equvalence is used to compare numbers.

Exceptions

This rool has an exception. Sometimes, one may say "the integrand in the right hand side of the equation (3,14) becomes zero at..." However, in this case, one means not the mathematical object, but the way it is expressed in specific formila, typed in a book or in a paper.

True and False

In the simplest case, the mathematical exression may have only one of two values, true or false. These are basic mathematical expressions and basic mathematical notations. By default, are expressions in a scientific text are supposed to have value true. In some programming lamguages, at initialization, all the logical variables are set to false. For variables that may have only one of these two values, operations of boolean algebra are defined: and, or, not for these operations, the following notations are in use:

Sets

In order to express operations with sets, the following symbols are used:

  • which means that the sets are [[equal
  • which subset

One of ways to define the set is following.

One begins with curly parenthesis , which is past of the group operation.

Then one writes some letter, character, which denotes an element of the set

Then one writes character and specify some known (standard) set, indicating, that kind of elements can be considered, for example, will it be from set of words, od from set of animals, of from set of numbers, etc.

Then one writes character : , and list, separating with comma, all the properties which are specific for all elements of namely this set.

Such a definition should finish with the closing of the grouping, id est, closing curly parenthesis .

Examples

With mathematical notations above, the upper part of the complex halfplane can be defined in such a way:

.

Similarly, the lower part of the complex halfplane can be defined as

.

According to these definitons, real numbers belong to the upper part of the complex halfplane and also to the lower part of the complex halfplane.

Quantifiers

  • for all
  • there exists

Numbers

Basic numbers are 0 and 1. With respect to these numbers, the arithmetic operations are defined. They are denoted with

(which has ony one argument)

and so on. At least for integers, all next operation in this raw can be constructed as recurrence of operations from previous rows. Most of conventional calculus is based on the operations summation, multiplication, exponentiation and the inverse functions. Some of numbers have own single-character names: 0,1,2,3,4,5,6,7,8,9. For example,

and so on. Most of larger numbers have no single-character mames; the integer numbers are denoted using the positional numeral system. The inverse operations (if exist) of basic arithmetic operations are denoted, correspondently, with symbols

and

and so on.