In topology, a formal ball is an extension of the notion of ball to allow unbounded and negative radius. The concept of formal ball was introduced by Weihrauch and Schreiber in 1981 and the negative radius case (the generalized formal ball) by Tsuiki and Hattori in 2008. Specifically, if is a metric space and the nonnegative real numbers, then an element of is a formal ball. Elements of are known as generalized formal balls. Formal balls possess a partial order defined by if , identical to that defined by set inclusion. Generalized formal balls are interesting because this partial order works just as well for as for , even though a generalized formal ball with negative radius does not correspond to a subset of . Formal balls possess the Lawson topology and the . (Wikipedia).
Formal Definition of a Function using the Cartesian Product
Learning Objectives: In this video we give a formal definition of a function, one of the most foundation concepts in mathematics. We build this definition out of set theory. **************************************************** YOUR TURN! Learning math requires more than just watching vid
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
The formal definition of a sequence.
We have an intuitive picture of sequences (infinite ordered lists). But there is a formal definition of sequences based out of the idea of a specific function between sets, specifically from the positive integers to the real numbers. ►Full DISCRETE MATH Course Playlist: https://www.youtu
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
Prealgebra Lecture 3.1 Part 1: Simplifying Algebraic Expressions
From playlist Prealgebra Playlist 1
Prealgebra Lecture 3.1 Part 9: Simplifying Algebraic Expressions
From playlist Prealgebra Playlist 1
Prealgebra Lecture 3.1 Part 3: Simplifying Algebraic Expressions
From playlist Prealgebra Playlist 1
Prealgebra Lecture 3.1 Part 8: Simplifying Algebraic Expressions
From playlist Prealgebra Playlist 1
Prealgebra Lecture 3.1 Part 2: Simplifying Algebraic Expressions
From playlist Prealgebra Playlist 1
Lecture 2A: What is a "Mesh?" (Discrete Differential Geometry)
Full playlist: https://www.youtube.com/playlist?list=PL9_jI1bdZmz0hIrNCMQW1YmZysAiIYSSS For more information see http://geometry.cs.cmu.edu/ddg
From playlist Discrete Differential Geometry - CMU 15-458/858
Prealgebra Lecture 3.1 Part 4: Simplifying Algebraic Expressions
From playlist Prealgebra Playlist 1
Flexibility in symplectic and contact geometry – Emmy Murphy – ICM2018
Geometry | Topology Invited Lecture 5.6 | 6.2 Flexibility in symplectic and contact geometry Emmy Murphy Abstract: Symplectic and contact structures are geometric structures on manifolds, with relationships to algebraic geometry, geometric topology, and mathematical physics. We discuss a
From playlist Geometry
3 - Kick-off afternoon : Thomas Hales, Formalizing the proof of the Kepler Conjecture
Thomas Hales (University of Pittsburgh): Formalizing the proof of the Kepler Conjecture
From playlist T2-2014 : Semantics of proofs and certified mathematics
Zero Knowledge Proofs - Seminar 1 - Introduction
This seminar series is about the mathematical foundations of cryptography. In this series Eleanor McMurtry is explaining Zero Knowledge Proofs (ZKPs), a fascinating set of techniques that allow one participant to prove they know something *without revealing the thing*. You can join this s
From playlist Metauni
Quantum computing with noninteracting particles - Alex Arkhipov
Alex Arkhipov Massachusetts Institute of Technology February 9, 2015 We introduce an abstract model of computation corresponding to an experiment in which identical, non-interacting bosons are sent through a non-adaptive linear circuit before being measured. We show that despite the very
From playlist Mathematics
Oleg Lazarev - Simplifying Weinstein Morse functions
June 29, 2018 - This talk was part of the 2018 RTG mini-conference Low-dimensional topology and its interactions with symplectic geometry
From playlist 2018 RTG mini-conference on low-dimensional topology and its interactions with symplectic geometry II
[BOURBAKI 2017] 11/03/2017 - 3/4 - Patrick MASSOT
Patrick MASSOT — Flexibilité en géométrie de contact en grande dimension [d'après Borman, Eliashberg et Murphy] Les structures de contact sont des champs d'hyperplans apparaissant naturellement au bord de variétés symplectiques ou holomorphes et dont l'attrait provient d'un subtil mélang
From playlist BOURBAKI - 2017
Matteo Gori - 2nd-Quantization of Many-Body Dispersion Formalism: Modeling of Million Atom Systems
Recorded 01 April 2022. Matteo Gori of the University of Luxembourg Department of Science and Materials presents "Second-Quantization of Many-Body Dispersion Formalism: Towards Modeling of Million Atom Systems in Arbitrary Environments" at IPAM's Multiscale Approaches in Quantum Mechanics
From playlist 2022 Multiscale Approaches in Quantum Mechanics Workshop
Some Recent Insights on Transfer Learning - Samory Kpotufe
Seminar on Theoretical Machine Learning Topic: Some Recent Insights on Transfer Learning Speaker: Samory Kpotufe Affiliation: Columbia University; Member, School of Mathematics Date: March 31, 2020 For more video please visit http://video.ias.edu
From playlist Mathematics
Prealgebra Lecture 3.1 Part 5: Simplifying Algebraic Expressions
From playlist Prealgebra Playlist 1
Andreas E. Feldmann: A (1+ε)-embedding of low highway dimension graphs into bounded treewidth graphs
Andreas Emil Feldmann: A (1+ε)-embedding of low highway dimension graphs into bounded treewidth graphs Graphs with bounded highway dimension were introduced in [Abraham et al., SODA 2010] as a model of transportation networks. We show that any such graph can be embedded into a distributio
From playlist HIM Lectures 2015