Thursday, December 17, 2009

International conference on Analysis & Applications, January 24-26, 2010

The conference aims to reflect the current state of the art in the study of analysis and to discuss new developments and future directions. It hopes to promote a spirit of training, learning and communicating through the active participation and scientific exchange among analysts around the world.

The Conference will consist of plenary talks of 45 minutes (40+5 for discussion) and contributed talks of 25 minutes (20 + 5 for discussion) in parallel special sessions. All areas of analysis-related mathematics will be covered, especially: Complex Analysis, Numerical Analysis, Real and Functional Analysis, Topology, and Applications of Analysis to other areas of mathematics and science.
You can find more information here.

Header/ Footer in Latex

Creating headers and footers in Latex can be done by using the package “fancyhdr”. This is a short introduction, showing the most important features of the package. If you know “fancyhdr” and are looking for something particular, refer to the fancyhdr-documentation.

First of all, you need to tell Latex to use the package:

\usepackage{fancyhdr}

and change the style from “plain” to “fancy”:

\pagestyle{fancy}

You will now the get the default fancy pagestyle which adds a line at the top of every page, except for some exceptions (title-page, abstract, new chapter in report).

Default fancyhdr page style:

Above the line, Latex will print headings:

Book/report

Left-hand side: section
Right- hand side: chapter
Note: if you use the optional documentclass argument “twoside”, Latex will alter the position of the section and chapter. (e.g. \documentclass[twoside]{report}, also introducing non-symmetric margins).

Article

For acticles, Latex will print the section only (chapters cannot be used with articles).
The footer only includes the page number which is centered by default.

Custom fancyhdr page style:

Even though fancyhdr has a default page style, you are free to define headers/footers yourself , which is not too difficult after all.

First you need to clear the default layout:

\fancyhead{}
\fancyfoot{}

There are seven letters you need to know before you can define your own header/footer:

E: Even page
O: Odd page
L: Left field
C: Center field
R: Right field
H: Header
F: Footer

Now you can start to define your own layout. The definitions are added before the document starts, usually after the “usepackages”:

\fancyhead[CO,CE]{---Draft---}
\fancyfoot[CO,CE]{Confidential}
\fancyfoot[RO, LE] {\thepage}

The decorative lines can be changed by increasing/decreasing their thickness (0pt means no line):

\renewcommand{\headrulewidth}{0.4pt}
\renewcommand{\footrulewidth}{0.4pt}

Note: After the fancyhdr-documentation, the default layout is produced by the following commands:

\fancyhead[LE,RO]{\slshape \rightmark}
\fancyhead[LO,RE]{\slshape \leftmark}
\fancyfoot[C]{\thepage}
\headrulewidth 0.4pt
\footrulewidth 0 pt

Reference: http://texblog.wordpress.com

Glossary in Latex

A glossary is a nice thing to have in a report and usually very helpful. As you probably can imaging, it is very easy to create in Latex. Nevertheless, there are a few things to be done, especially generating the glossary-files.

First you have to tell Latex to use the glossary package and to create the glo-file containing all the glossar-entries in your document:

\usepackage{glossary}
\makeglossary

Next you have to add glossary entries to your document. They are of the following form:

\glossary{name={entry name}, description={entry description}}

Note: Usually, the glossary-entry should be added to keywords where they first appear.

A glossary-entry produces by default the following format:

“entry name” “entry description (on multiple lines if necessary)”, “page number”

And finally you have to tell Latex where to place you glossary inside the document which is done by the following command at the location you want to produce the glossary:

\printglossary

Optinally, you can reference to the glossary in the index (toc-file) by adding the following command after “\printglossary”:

\addcontentsline{toc}{chapter}{Glossary}

What you do first is generate your PDF once. An ist-file as well as a glossary file (*.glo) are generated. The glossary-file contains all the glossary entries found in the document in plain text. Next you type the following command in the command-line:

makeindex document.glo -s document.ist -t document.glg -o document.gls

generating the two files with the extensions *.gls and *.glg. If entries are ignored or rejected, which can be seen either in the glg-file or directly in the output of the makeindex-command, you have to check your glossary entries. The important of the two files is the *.gls-file, as it is used by Latex for the actual glossary. You now need to re-generate the PDF and if everything works fine, your glossary should appear where you wanted it.

Reference: http://texblog.wordpress.com

Friday, December 4, 2009

Mathematical analysis

Mathematical analysis, which mathematicians refer to simply as analysis, has its beginnings in the rigorous formulation of calculus. It is the branch of pure mathematics most explicitly concerned with the notion of a limit, whether the limit of a sequence or the limit of a function.[1] It also includes the theories of differentiation, integration and measure, infinite series,[2] and analytic functions. These theories are often studied in the context of real numbers, complex numbers, and real and complex functions. However, they can also be defined and studied in any space of mathematical objects that has a definition of nearness (a topological space) or, more specifically, distance (a metric space).

Subdivisions


Mathematical analysis includes the following subfields.

Classical analysis would normally be understood as any work not using functional analysis techniques, and is sometimes also called hard analysis; it also naturally refers to the more traditional topics. The study of differential equations is now shared with other fields such as dynamical systems, though the overlap with conventional analysis is large.

Vahid Damanafshan

Reference: Wikipedia

Lebesgue integration

In mathematics, Lebesgue integration refers to both the general theory of integration of a function with respect to a general measure, and to the specific case of integration of a function defined on a sub-domain of the real line or a higher dimensional Euclidean space with respect to the Lebesgue measure. For more information, Please go to this page.
Vahid Damanafshan
Reference: Wikipedia

Measure

In mathematics, more specifically in measure theory, a measure on a set is a systematic way to assign to each suitable subset a number, intuitively interpreted as the size of the subset. In this sense, a measure is a generalization of the concepts of length, area and volume. A particularly important example is the Lebesgue measure on a Euclidean space, which assigns the conventional length, area and volume of Euclidean geometry to suitable subsets of Rn, n=1,2,3,.... For instance, the Lebesgue measure of [0,1] in the real numbers is its length in the everyday sense of the word, specifically 1.

To qualify as a measure (see Definition below), a function that assigns a non-negative real number or infinity to a set's subsets must satisfy a few conditions. One important condition is countable additivity. This condition states that the size of the union of a sequence of disjoint subsets is equal to the sum of the sizes of the subsets. However, it is in general impossible to consistently associate a size to each subset of a given set and also satisfy the other axioms of a measure. This problem was resolved by defining measure only on a sub-collection of all subsets; the subsets on which the measure is to be defined are called measurable and they are required to form a sigma-algebra, meaning that unions, intersections and complements of sequences of measurable subsets are measurable. Non-measurable sets in a Euclidean space, on which the Lebesgue measure cannot be consistently defined, are necessarily complex to the point of incomprehensibility, in a sense badly mixed up with their complement; indeed, their existence is a non-trivial consequence of the axiom of choice.

Measure theory was developed in successive stages during the late 19th and early 20th century by Emile Borel, Henri Lebesgue, Johann Radon and Maurice Fréchet, among others. The main applications of measures are in the foundations of the Lebesgue integral, in Andrey Kolmogorov's axiomatisation of probability theory and in ergodic theory. In integration theory, specifying a measure allows one to define integrals on spaces more general than subsets of Euclidean space; moreover, the integral with respect to the Lebesgue measure on Euclidean spaces is more general and has a richer theory than its predecessor, the Riemann integral. Probability theory considers measures that assign to the whole set the size 1, and considers measurable subsets to be events whose probability is given by the measure. Ergodic theory considers measures that are invariant under, or arise naturally from, a dynamical system.

Vahid Damanafshan

Reference: Wikipedia

Monday, November 9, 2009

Walter Rudin

Walter Rudin (born 1921) is an American mathematician, currently a Professor Emeritus of Mathematics at the University of Wisconsin–Madison.

He is known for three of his books on mathematical analysis: Functional Analysis, Principles of Mathematical Analysis, and Real and Complex Analysis. The second and third books are affectionately called Baby Rudin and Big Rudin (or sometimes Papa Rudin) by math students.

Rudin was born into a Jewish family in Austria in 1921. They fled to France after the Anschluss in 1938. When France surrendered to Germany in 1940, Rudin fled to England and served in the British navy for the rest of the war. After the war he left for the United States, and earned his Ph.D. from Duke University in North Carolina in 1949. After that he was a C.L.E. Moore Instructor at MIT before becoming a professor at the University of Wisconsin–Madison.

In 1953, he married fellow mathematician Mary Ellen Estill. The two now reside in Madison, Wisconsin, in a home built by architect Frank Lloyd Wright.

Vahid Damanafshan

Reference: Wikipedia

Saturday, November 7, 2009

Bernhard Riemann

Georg Friedrich Bernhard Riemann (German pronunciation: [ˈriːman]; September 17, 1826July 20, 1866) was an influential German mathematician who made contributions to analysis and differential geometry, some of them enabling the later development of general relativity.

Early life

Riemann was born in Breselenz, a village near Dannenberg in the Kingdom of Hanover in what is Germany today. His father, Friedrich Bernhard Riemann, was a poor Lutheranian pastor in Breselenz who fought in the Napoleonic Wars. His mother died before her children had reached adulthood. Riemann was the second of six children, shy, and suffered from numerous nervous breakdowns. Riemann exhibited exceptional mathematical skills, such as fantastic calculation abilities, from an early age, but suffered from timidity and a fear of speaking in public.

Middle life

In high school, Riemann studied the Bible intensively, but he was often distracted by mathematics. To this end, he even tried to prove mathematically the correctness of the Book of Genesis. His teachers were amazed by his adept ability to solve complicated mathematical operations, in which he often outstripped his instructor's knowledge. During 1840, Riemann went to Hanover to live with his grandmother and attend lyceum (middle school). After the death of his grandmother in 1842, he attended high school at the Johanneum Lüneburg. In 1846, at the age of 19, he started studying philology and theology in order to become a priest and help with his family's finances.

During the spring of 1846, his father (Friedrich Riemann), after gathering enough money to send Riemann to university, allowed him to stop studying theology and start studying mathematics. He was sent to the renowned University of Göttingen, where he first met Carl Friedrich Gauss, and attended his lectures on the method of least squares.

In 1847, Riemann moved to Berlin, where Jacobi, Dirichlet, Steiner, and Eisenstein were teaching. He stayed in Berlin for two years and returned to Göttingen in 1849.

Later life

Bernhard Riemann held his first lectures in 1854, which founded the field of Riemannian geometry and thereby set the stage for Einstein's general theory of relativity. In 1857, there was an attempt to promote Riemann to extraordinary professor status at the University of Göttingen. Although this attempt failed, it did result in Riemann finally being granted a regular salary. In 1859, following Dirichlet's death, he was promoted to head the mathematics department at Göttingen. He was also the first to suggest using dimensions higher than merely three or four in order to describe physical reality[citation needed]—an idea that was ultimately vindicated with Einstein's contribution in the early 20th century. In 1862 he married Elise Koch and had a daughter.

Riemann fled Göttingen when the armies of Hanover and Prussia clashed there in 1866.[1] He died of tuberculosis during his third journey to Italy in Selasca (now a hamlet of Verbania on Lake Maggiore) where he was buried in the cemetery in Biganzolo (Verbania). Meanwhile, in Göttingen his housekeeper tidied up some of the mess in his office, including much unpublished work. Riemann refused to publish incomplete work and some deep insights may have been lost forever.[1]

Vahid Damanafshan,

Reference: Wikipedia

Saturday, October 31, 2009

Stefan Banach

Stefan Banach was born on March 30, 1892, at St. Lazarus General Hospital in Kraków, then part of Austro-Hungarian Galicia. Banach's parents were Stefan Greczek and one Katarzyna Banach, both natives of the Podhale region.[2] Stefan Greczek was born in Ostrowsko near the town of Nowy Targ[3] and at one time was a soldier in the Austro-Hungarian Army stationed in Kraków. Stefan Greczek's father, Józef, was a farmer and a village mayor and Józef's wife, Antonina (née Borkowska) bore the Pomian coat of arms.[3]

Banach's mother left him after baptizing him when he was four days old. Her name on the birth certificate is Katarzyna Banach. Later in life Banach would ask his father to tell him his mother's actual identity but would only be told that he had taken an oath of secrecy about it.[4] Stefan Greczek would go on to marry twice and have a son by his first wife and four children by the second.

Unusually, Stefan's surname was that of his mother instead of his father, though he received his father's given name. Since Banach's father was a private and was prevented by military regulations from marrying, and the mother was too poor to support the child, the couple decided that he should be reared by family and friends. Family legend says that Banach spent his early childhood in Ostrowsko with his grandmother, to whom he was very close. When she became ill, his father sent him to Kraków to live with Franciszka Płowa and her daughter, Maria, although Banach would continue to visit his grandmother up to her funeral.[5] Franciszka worked in a branch of the Tęcza laundries while her husband was the manager of the Krakowski Hotel. Together, they were able to give Banach what was a relatively comfortable life for the time.[2][6] Contacts between Banach and his father were polite and cordial; though Banach loved his father, he did not show him much warmth or filial affection.[7]

As a child, Banach was introduced to Juliusz Mien, a French intellectual who had moved to Kraków in 1870 and who was a guardian of Maria Płowa. Mien guided Banach by teaching him French and supervising his education without charge. Mien likely nurtured Banach's early mathematical skills, and he taught him to speak French so fluently that later in life Banach was able to impress foreign colleagues with his knowledge of the language.[6]

In 1902 Banach, aged 10, enrolled in Kraków's Henryk Sienkiewicz Gymnasium no. IV where he became known as a prodigy. The school specialized in the humanities, including languages such as Latin, Greek, and German as well as subjects such as History and Geography along side some Mathematics. Despite this shortcoming, Banach and his best friend Witold Wiłkosz, a future mathematician, would regularly work on mathematics problems during school breaks and after school. In 1906 Banach, aged 14, was studying higher mathematics and two years later he had started in on several languages, both western and eastern,[8] however he was especially fond of Latin. After obtaining his matura at age 18 in 1910, Banach went with Witold Wiłkosz to Lviv, then the capital of Galicia, intending to enroll in engineering at the Lwów Polytechnic. However, as Banach had to earn money to support his studies, it was not until 1914 that he finally, at age 22, passed his half-diploma exams.[9]

When World War I broke out, Banach was excused from military service due to his left-handedness and poor vision. When the Russian Army opened its offensive toward Lwów, Banach left for Kraków, to spend the rest of the war there and in other Galician towns. He made his living tutoring at local gymnasiums and working in a bookshop. He may have attended lectures at the Jagiellonian University, but little is known of that period in his life.[10]

In 1916, in Kraków's Planty gardens, Banach encountered Professor Hugo Steinhaus, one of the renowned mathematicians of the age. Steinhaus became fascinated with the self-taught young mathematician. The encounter resulted in a long-lasting collaboration and friendship. It was also through Steinhaus that Banach met his future wife, Łucja Braus.

Steinhaus introduced Banach to academic circles and substantially accelerated his career. After Poland regained independence, in 1920 Banach was given an assistantship at Kraków's Jagiellonian University. Steinhaus' backing also allowed him to receive a doctorate without actually graduating from a university. The doctoral thesis, accepted by King John II Casimir University of Lwów and published in 1922,[11] included the basic ideas of functional analysis, which was soon to become an entirely new branch of mathematics. The thesis was widely discussed in academic circles and allowed him in 1922 to become a professor at the Lwów Polytechnic. Initially an assistant to Professor Antoni Łomnicki, in 1927 Banach received his own chair. In 1924 he was also accepted as a member of the Polish Academy of Learning. At the same time, from 1922, Banach also headed the second Chair of Mathematics at University of Lwów. Young and talented, Banach gathered around him a large group of mathematicians. The group, meeting in the Scottish Café, soon gave birth to the "Lwów School of Mathematics." In 1929 the group began publishing its own journal, Studia Mathematica, devoted primarily to Banach's field of study — functional analysis. Around that time, Banach also began working on his best-known work, the first monograph on the general theory of linear-metric space. First published in Polish in 1931,[12] the following year it was also translated into French and gained wider recognition in European academic circles.[13] The book was also the first in a long series of mathematics monographs edited by Banach and his circle.

Following the invasion of Poland by Nazi Germany and the Soviet Union, Lwów came under the control of the Soviet Union for almost two years. Banach, from 1939 a corresponding member of the Academy of Sciences of Ukraine, and on good terms with Soviet mathematicians,[citation needed] had to promise to learn Ukrainian to be allowed to keep his chair and continue his academic activities.[14] Following the German takeover of Lwów in 1941 in Operation Barbarossa, all universities were closed and Banach, along with many colleagues and his son, was employed as lice feeder at Professor Rudolf Weigl's Typhus Research Institute. Employment in Weigl's Institute provided many unemployed university professors and their associates protection from random arrest and deportation to Nazi concentration camps.

After the Red Army recaptured Lviv in the Lvov–Sandomierz Offensive of 1944, Banach returned to the University and helped re-establish it after the war years. However, because the Soviets were removing Poles from annexed formerly Polish territories, Banach began preparing to leave the city and settle in Kraków, Poland, where he had been promised a chair at the Jagiellonian University.[4] He was also considered a candidate for Minister of Education of Poland.[15] In January 1945, however, he was diagnosed with lung cancer and was allowed to stay in Lwów. He died on August 31, 1945, aged 53. His funeral at the Lychakiv Cemetery turned into a patriotic demonstration by the Poles who still remained in the city.
Vahid Damanafshan
Reference: Wikipedia

Friday, October 30, 2009

Measure theory

In mathematics, more specifically in measure theory, a measure on a set is a systematic way to assign to each suitable subset a number, intuitively interpreted as the size of the subset. In this sense, a measure is a generalization of the concepts of length, area and volume. A particularly important example is the Lebesgue measure on a Euclidean space, which assigns the conventional length, area and volume of Euclidean geometry to suitable subsets of Rn, n=1,2,3,.... For instance, the Lebesgue measure of [0,1] in the real numbers is its length in the non-formal sense of the word, specifically 1.

To qualify as a measure (see Definition below), a function that assigns a non-negative real number or infinity to a set's subsets must satisfy a few conditions. One important condition is countable additivity. This condition states that the size of the union of a sequence of disjoint subsets is equal to the sum of the sizes of the subsets. However, it is in general impossible to consistently associate a size to each subset of a given set and also satisfy the other axioms of a measure. This problem was resolved by defining measure only on a sub-collection of all subsets; the subsets on which the measure is to be defined are called measurable and they are required to form a sigma-algebra, meaning that unions, intersections and complements of sequences of measurable subsets are measurable. Non-measurable sets in a Euclidean space, on which the Lebesgue measure cannot be consistently defined, are necessarily complex to the point of incomprehensibility, in a sense badly mixed up with their complement; indeed, their existence is a non-trivial consequence of the axiom of choice.

Measure theory was developed in successive stages during the late 19th and early 20th century by Emile Borel, Henri Lebesgue, Johann Radon and Maurice Fréchet, among others. The main applications of measures are in the foundations of the Lebesgue integral, in Andrey Kolmogorov's axiomatisation of probability theory and in ergodic theory. In integration theory, specifying a measure allows one to define integrals on spaces more general than subsets of Euclidean space; moreover, integral with respect to the Lebesgue measure on Euclidean spaces is more general and has a richer theory than its predecessor, the Riemann integral. Probability theory considers measures that assign to the whole set the size 1, and considers measurable subsets to be events whose probability is given by the measure.

Vahid Damanafshan

Reference: Gigapedia

Thursday, October 29, 2009

Power domains

In denotational semantics and domain theory, power domains are domains of nondeterministic and concurrent computations.

The idea of power domains for functions is that a nondeterministic function may be described as a deterministic set-valued function, where the set contains all values the nondeterministic function can take for a given argument. For concurrent systems, the idea is to express the set of all possible computations.

Roughly speaking, a power domain is a domain whose elements are certain subsets of a domain. Taking this approach naively, though, often gives rise to domains that don't quite have the desired properties, and so one is led to increasingly complicated notions of power domain. There are three common variants: the Plotkin, upper, and lower power domains. One way to understand these concepts is as free models of theories of nondeterminism.

For most of this article we use the terms "domain" and of "continuous function" quite loosely, meaning respectively some kind of ordered structure and some kind of limit-preserving function. This flexibility is genuine; for example, in some concurrent systems it is natural to impose the condition that every message sent must eventually be delivered. However, the limit of a chain of approximations in which a message was not delivered, would be a completed computation in which the message was never delivered!

A modern reference to this subject is the chapter of Abramsky and Jung [1994]. Older references include those of Plotkin [1983, Chapter 8] and Smyth [1978].

Reference: Wikipedia

Domain theory

Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages. Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and has close relations to topology. An alternative important approach to denotational semantics in computer science is that of metric spaces.
Reference: Wikipedia

Real Analysis

Mathematical analysis can be applied in the study of classical concepts of real numbers, such as the complex variables, trigonometric functions, and algorithms, or of non-classical concepts like constructivism, harmonics, infinity, and vectors.

History:

Early results in analysis were implicitly present in the early days of ancient Greek mathematics. For instance, an infinite geometric sum is implicit in Zeno's paradox of the dichotomy. Later, Greek mathematicians such as Eudoxus and Archimedes made more explicit, but informal, use of the concepts of limits and convergence when they used the method of exhaustion to compute the area and volume of regions and solids. In India, the 12th century mathematician Bhāskara II gave examples of the derivative and used what is now known as Rolle's theorem.

In the 14th century, Madhava of Sangamagrama developed infinite series expansions, like the power series and the Taylor series, of functions such as sine, cosine, tangent and arctangent. Alongside his development of the Taylor series of the trigonometric functions, he also estimated the magnitude of the error terms created by truncating these series and gave a rational approximation of an infinite series. His followers at the Kerala school of astronomy and mathematics further expanded his works, up to the 16th century.

In Europe, during the later half of the 17th century, Newton and Leibniz independently developed calculus, which grew, with the stimulus of applied work that continued through the 18th century, into analysis topics such as the calculus of variations, ordinary and partial differential equations, Fourier analysis, and generating functions. During this period, calculus techniques were applied to approximate discrete problems by continuous ones.

In the 18th century, Euler introduced the notion of mathematical function. Real analysis began to emerge as an independent subject when Bernard Bolzano introduced the modern definition of continuity in 1816. In the 19th century, Cauchy helped to put calculus on a firm logical foundation by introducing the concept of the Cauchy sequence. He also started the formal theory of complex analysis. Poisson, Liouville, Fourier and others studied partial differential equations and harmonic analysis. The contributions of these mathematicians and others, such as Weierstrass, developed the modern notion of mathematical rigor, thus founding the field of mathematical analysis (at least in the modern sense).

In the middle of the century Riemann introduced his theory of integration. The last third of the 19th century saw the arithmetization of analysis by Weierstrass, who thought that geometric reasoning was inherently misleading, and introduced the "epsilon-delta" definition of limit. Then, mathematicians started worrying that they were assuming the existence of a continuum of real numbers without proof. Dedekind then constructed the real numbers by Dedekind cuts, in which a mathematician creates irrational numbers that serve to fill the "gaps" between rational numbers, thereby creating a complete set: the continuum of real numbers. Around that time, the attempts to refine the theorems of Riemann integration led to the study of the "size" of the set of discontinuities of real functions.

Also, "monsters" (nowhere continuous functions, continuous but nowhere differentiable functions, space-filling curves) began to be created. In this context, Jordan developed his theory of measure, Cantor developed what is now called naive set theory, and Baire proved the Baire category theorem. In the early 20th century, calculus was formalized using an axiomatic set theory. Lebesgue solved the problem of measure, and Hilbert introduced Hilbert spaces to solve integral equations. The idea of normed vector space was in the air, and in the 1920s Banach created functional analysis.

Reference: Wikipedia

Tuesday, October 27, 2009

 
Free counter and web stats