• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Bachelor 2019/2020

Abstract Mathematics

Area of studies: Economics
When: 3 year, 1-4 module
Mode of studies: offline
Instructors: Dmitri Piontkovski
Language: English
ECTS credits: 8
Contact hours: 120

Course Syllabus

Abstract

Abstract Mathematics is a two-semester course for the third year bachelor’s programme students who selected specialization Economics and Mathematics. The course is based on the Introduction to Abstract Mathematics course of the University of London (UoL) with further expansions into selected topics from algebra, real analysis and topology. The course is taught in English. For the theory itself there are no pre-requisites except for an aptitude for logical reasoning. However, many examples will reference concepts from Calculus, Statistics, Mathematics for Economists and Linear Algebra courses from the 1st and 2nd years of the ICEF bachelor’s programme. The emphasis of the course is on the theory rather than on the method. One central topic of the course is formal mathematical reasoning. The students will practice formulating precise mathematical statements and proving them rigorously. These skills are essential for the current specialization, they often remain in shadows in other math courses where the focus is on solving problems through calculation. The second central topic of the course is the abstract mathematical structures from algebra (groups, fields, etc.), analysis, topology (topological spaces, manifolds) and functional analysis. We will develop some of these theories roughly to the extent of standard 1st and 2nd -year courses of the mathematical departments. The awareness of the theoretical foundations of these classical theories is key in understanding the contemporary theoretical research and the synergies between different areas of mathematics and its applications.
Learning Objectives

Learning Objectives

  • explain the main mathematical concepts in discrete mathematics, algebra, real analysis, functional analysis and topology;
  • to illustrate the concepts by specific examples and counter-examples;
  • to teach how to use formal notations correctly and in connection with precise statements in English
  • to give definitions, formulate statements of the key theorems and present their proofs
  • to critically analyze a proposed proofs of a given statement and make a conclusion on the completeness and accurateness of the proof
  • to give a generic understanding of the applications of the discussed classical theories
  • to teach how to find and formulate proofs of problems based on the main definitions and theorems
Expected Learning Outcomes

Expected Learning Outcomes

  • be able to find and formulate proofs of problems based on the main definitions and theorems
  • be able to critically analyze a proposed proof of a given statement and make a conclusion on the completeness and accurateness of the proof;
  • be able to illustrate the concepts in Set Theory by specific examples and counter-examples
  • be able to use formal notations correctly and in connection with precise statements in English
  • be able to give definitions, formulate statements of the key theorems and present their proofs
  • be able to illustrate the concepts of Group Theory by specific examples and counter-examples
  • be able to give definitions, formulate statements of the key theorems, such as Lagrange Theorem, Homomorphism Theorem, etc., and present their proofs
  • be able to give definitions, formulate statements of the key theorems, such as Chinese Remainder Theorem, The Fundamental Theorem of Arithmetic, etc., and present their proofs;
  • be able to illustrate the concepts of Ring Theory and Field Theory by specific examples and counter-examples
  • be able to illustrate the concepts of Real Analysis including the axiomatic definition of the set of real numbers; Functional Analysis such as norm, metric, metric spaces; Topology such as a topological space, base of topology by specific examples and counter-examples;
  • be able to give the opposite and the contrapositive statements for a given statement
Course Contents

Course Contents

  • Introduction to Set Theory
    a. Definitions and notations b. Set operations, maps between sets c. Discussion of the proper foundations of the set theory
  • Algebraic Structures: Groups
    a. Definition and basic properties of groups b. Subgroups, quotient groups and homomorphisms, cosets & Lagrange’s theorem. c. Homomorphisms, group isomorphism theorems d. Automorphisms and semi-direct products e. Group actions f. Sylow theorems* g. Classification of Abelian groups* h. Introduction to the representation theory of finite groups*
  • Algebraic Structures: Rings and Fields
    a. Divisibility of integers b. Congruence and modular arithmetic. c. Definition and basic properties of rings d. Ideals, ring homomorphisms e. The Chinese Remainder Theorem f. Definition and basic properties of fields g. Field of complex numbers h. Finite fields i. Rings of polynomials j. Field Theory and Galois theory*
  • Elements of Real Analysis, Functional Analysis and Topology
    Real numbers as a complete ordered field b. The Archimedian property of real numbers c. Equivalent definitions of completeness in an archimedian field d. Representation of real numbers via decimal fractions e. Topological spaces and operations with them f. Continuity, properties of continuous functions g. Metric spaces h. Norm and normed spaces i. Contracting maps, contracting map theorem for complete metric spaces j. Homotopy groups, homotopy equivalence.* k. Coverings, cell spaces (CW-complexes).* l. Differentiable manifolds, diffeomorphisms* m. Tangent vectors and differentials, differential forms*. n. Lie Groups*
  • Introduction to Mathematical Reasoning
  • Mathematical Logic
    Elements of mathematical logic and formal reasoning Course Review
Assessment Elements

Assessment Elements

  • non-blocking Exam-I (midterm)
  • non-blocking Exam-II
  • non-blocking homework and inclass activities
  • non-blocking Exam-III (midterm)
  • blocking UoL (or HSE) exam
    Internal: Экзамен проводится в письменной форме с использованием асинхронного прокторинга. Экзамен проводится на платформе https://hse.student.examus.net). К экзамену необходимо подключиться за 10 минут до начала. Проверку настроек компьютера необходимо провести заранее, чтобы в случае возникших проблем у вас было время для обращения в службу техподдержки и устранения неполадок. Компьютер студента должен удовлетворять требованиям: 1. Стационарный компьютер или ноутбук (мобильные устройства не поддерживаются); 2. Операционная система Windows (версии 7, 8, 8.1, 10) или Mac OS X Yosemite 10.10 и выше; 3. Интернет-браузер Google Chrome последней на момент сдачи экзамена версии (для проверки и обновления версии браузера используйте ссылку chrome://help/); 4. Наличие исправной и включенной веб-камеры (включая встроенные в ноутбуки); 5. Наличие исправного и включенного микрофона (включая встроенные в ноутбуки); 6. Наличие постоянного интернет-соединения со скоростью передачи данных от пользователя не ниже 1 Мбит/сек; 7. Ваш компьютер должен успешно проходить проверку. Проверка доступна только после авторизации. Для доступа к экзамену требуется документ удостоверяющий личность. Его в развернутом виде необходимо будет сфотографировать на камеру после входа на платформу «Экзамус». Также вы должны медленно и плавно продемонстрировать на камеру рабочее место и помещение, в котором Вы пишете экзамен, а также чистые листы для написания экзамена (с двух сторон). Это необходимо для получения чёткого изображения. Во время экзамена запрещается пользоваться любыми материалами (в бумажном / электронном виде), использовать телефон или любые другие устройства (любые функции), открывать на экране посторонние вкладки. В случае выявления факта неприемлемого поведения на экзамене (например, списывание) результат экзамена будет аннулирован, а к студенту будут применены предусмотренные нормативными документами меры дисциплинарного характера вплоть до исключения из НИУ ВШЭ. Если возникают ситуации, когда студент внезапно отключается по любым причинам (камера отключилась, компьютер выключился и др.) или отходит от своего рабочего места на какое-то время, или студент показал неожиданно высокий результат, или будут обнаружены подозрительные действия во время экзамена, будет просмотрена видеозапись выполнения экзамена этим студентом и при необходимости студент будет приглашен на онлайн-собеседование с преподавателем. Об этом студент будет проинформирован заранее в индивидуальном порядке. Во время выполнения задания, не завершайте Интернет-соединения и не отключайте камеры и микрофона. Во время экзамена ведется аудио- и видео-запись. Процедура пересдачи проводится в соотвествии с нормативными документами НИУ ВШЭ.
Interim Assessment

Interim Assessment

  • Interim assessment (2 module)
    0.35 * Exam-I (midterm) + 0.45 * Exam-II + 0.2 * homework and inclass activities
  • Interim assessment (4 module)
    0.15 * homework and inclass activities + 0.35 * Interim assessment (2 module) + 0.5 * UoL (or HSE) exam
Bibliography

Bibliography

Recommended Core Bibliography

  • An introduction to mathematical reasoning : numbers, sets and functions, Eccles, P. J., 2013
  • Discrete mathematics, Biggs, N. L., 2004

Recommended Additional Bibliography

  • Элементы теории функций и функционального анализа, Колмогоров, А. Н., 2006