Mathematical relations | Mathematical logic | Algebraic logic | Boolean algebra | Mathematical axioms

Relation algebra

In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation. The motivating example of a relation algebra is the algebra 2X² of all binary relations on a set X, that is, subsets of the cartesian square X2, with R•S interpreted as the usual composition of binary relations R and S, and with the converse of R as the converse relation. Relation algebra emerged in the 19th-century work of Augustus De Morgan and Charles Peirce, which culminated in the algebraic logic of Ernst Schröder. The equational form of relation algebra treated here was developed by Alfred Tarski and his students, starting in the 1940s. Tarski and Givant (1987) applied relation algebra to a variable-free treatment of axiomatic set theory, with the implication that mathematics founded on set theory could itself be conducted without variables. (Wikipedia).

Video thumbnail

Algebra Ch 43: Functions and Relations (1 of 11) What is Difference Between Relations and Functions?

Visit http://ilectureonline.com for more math and science lectures! To donate: http://www.ilectureonline.com/donate https://www.patreon.com/user?u=3236071 We will learn the difference between a function and a relation. A function is a relationship between an independent variable, x, and

From playlist ALGEBRA CH 43 FUNCTIONS AND RELATIONS

Video thumbnail

Relations and Functions College Algebra

This is an introduction to relations and functions. Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys

From playlist College Algebra

Video thumbnail

Introduction to Relations and Functions

An introduction to relations and functions. Discussion includes defining, classifying, and examples of relations and functions, as well as five ways to represent relations and functions,

From playlist Algebra 1

Video thumbnail

Relations and Functions | Algebra

This Algebra video tutorial provides a basic introduction into relations and functions. It explains how to write the domain and range of a relation and how to determine if the relation is a function. It also explains how to draw a mapping diagram of the relation as well as a function tab

From playlist New Algebra Playlist

Video thumbnail

Equivalence Relations Definition and Examples

Please Subscribe here, thank you!!! https://goo.gl/JQ8Nys Equivalence Relations Definition and Examples. This video starts by defining a relation, reflexive relation, symmetric relation, transitive relation, and then an equivalence relation. Several examples are given.

From playlist Abstract Algebra

Video thumbnail

Intermediate Algebra-Inverse Functions

Intermediate Algebra-Inverse Functions

From playlist Intermediate Algebra

Video thumbnail

A geometric model for the bounded derived category of a gentle algebra, Sibylle Schroll, Lecture 1

Gentle algebras are quadratic monomial algebras whose representation theory is well understood. In recent years they have played a central role in several different subjects such as in cluster algebras where they occur as Jacobian algebras of quivers with potentials obtained from triangula

From playlist Winter School on “Connections between representation Winter School on “Connections between representation theory and geometry"

Video thumbnail

Rinat Kedem: From Q-systems to quantum affine algebras and beyond

Abstract: The theory of cluster algebras has proved useful in proving theorems about the characters of graded tensor products or Demazure modules, via the Q-system. Upon quantization, the algebra associated with this system is shown to be related to a quantum affine algebra. Graded charact

From playlist Mathematical Physics

Video thumbnail

Matt Hogancamp: Soergel bimodules and the Carlsson-Mellit algebra

The dg cocenter of the category of Soergel bimodules in type A, morally speaking, can be thought of as a categorical analogue of the ring of symmetric functions, as in joint work of myself, Eugene Gorsky, and Paul Wedrich. Meanwhile, the ring of symmetric functions is the recipient of acti

From playlist Workshop: Monoidal and 2-categories in representation theory and categorification

Video thumbnail

Introduction to quantized enveloping algebras - Leonardo Maltoni

Quantum Groups Seminar Topic: Introduction to quantized enveloping algebras Speaker: Leonardo Maltoni Affiliation: Sorbonne University Date: January 21, 2021 For more video please visit http://video.ias.edu

From playlist Quantum Groups Seminar

Video thumbnail

The Heisenberg Algebra in Symplectic Algebraic Geometry - Anthony Licata

Anthony Licata Institute for Advanced Study; Member, School of Mathematics April 2, 2012 Part of geometric representation theory involves constructing representations of algebras on the cohomology of algebraic varieties. A great example of such a construction is the work of Nakajima and Gr

From playlist Mathematics

Video thumbnail

Representation Theory(Repn Th) 5 by Gerhard Hiss

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

Stefaan Vaes - Classification of regular subalgebras of the hyperfinite II1 factor

I present a joint work with Sorin Popa and Dimitri Shlyakhtenko. We prove that under a natural condition, the regular von Neumann subalgebras B of the hyperfinite II1 factor R are completely classified (up to conjugacy by an automorphism of R) by the associated discrete measured groupoid.

From playlist Groupes, géométrie et analyse : conférence en l'honneur des 60 ans d'Alain Valette

Video thumbnail

Robin Deeley: The K-theory of the stable algebra and stable Ruelle algebra of a Wieler solenoid

Talk by Robin Deeley in Global Noncommutative Geometry Seminar (Americas) http://www.math.wustl.edu/~xtang/NCG-Seminar.html on May 13, 2020.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Multiple q-zeta values and period polynomials by Ulf Kuehn

PROGRAM : ALGEBRAIC AND ANALYTIC ASPECTS OF AUTOMORPHIC FORMS ORGANIZERS : Anilatmaja Aryasomayajula, Venketasubramanian C G, Jurg Kramer, Dipendra Prasad, Anandavardhanan U. K. and Anna von Pippich DATE & TIME : 25 February 2019 to 07 March 2019 VENUE : Madhava Lecture Hall, ICTS Banga

From playlist Algebraic and Analytic Aspects of Automorphic Forms 2019

Video thumbnail

2-Verma modules - Gregoire Naisse; Pedro Vaz

Virtual Workshop on Recent Developments in Geometric Representation Theory Topic: 2-Verma modules Speakers: Gregoire Naisse; Pedro Vaz Affiliation: University College London; University College London Date: November 18, 2020 For more video please visit http://video.ias.edu

From playlist Virtual Workshop on Recent Developments in Geometric Representation Theory

Video thumbnail

L2.2. Equivalence relations

The picture in the lecture was taken from Wikipedia: https://en.wikipedia.org/wiki/Demographics_of_the_United_States#/media/File:USA2020dec1.png

From playlist Abstract Algebra 1

Related pages

Composition of relations | Turnstile (symbol) | Quasivariety | Relation construction | Algebraic structure | If and only if | Undecidable problem | Symmetric relation | Pseudoelementary class | Converse relation | Gödel's incompleteness theorems | Group (mathematics) | Asymmetric relation | Permutation | Completeness (logic) | Total order | Relational algebra | Reduct | Connected relation | Residuated Boolean algebra | Extension (predicate logic) | Semigroup Forum | Idempotent relation | Relation (mathematics) | Alfred Tarski | Binary relation | Transitive relation | Preorder | Reflexive relation | Mathematics | Algebraic logic | Cylindric algebra | Function (mathematics) | Antidistributive | Group theory | Involution (mathematics) | Cartesian product | Modus ponens | Product of group subsets | Semigroup with involution | Relational calculus | Bijection | Logical matrix | Predicate functor logic | Signature (logic) | Dense order | Equivalence relation | Mathematical logic | Abstract algebra | Principia Mathematica | Quantifier (logic) | Charles Sanders Peirce | Logical connective | Ordered pair | Variety (universal algebra) | Logical equivalence | Quantale | Antisymmetric relation | Stone's representation theorem for Boolean algebras | First-order logic | Metamathematics | Monoid | Multiplicative inverse | Boolean algebra (structure)