In this book we want to explore aspects of coherence in homological algebra, that already appear in the classical situation of abelian groups or abelian categories. Lattices of subobjects are shown ...to play an important role in the study of homological systems, from simple chain complexes to all the structures that give rise to spectral sequences. A parallel role is played by semigroups of endorelations.These links rest on the fact that many such systems, but not all of them, live in distributive sublattices of the modular lattices of subobjects of the system.The property of distributivity allows one to work with induced morphisms in an automatically consistent way, as we prove in a 'Coherence Theorem for homological algebra'. (On the contrary, a 'non-distributive' homological structure like the bifiltered chain complex can easily lead to inconsistency, if one explores the interaction of its two spectral sequences farther than it is normally done.)The same property of distributivity also permits representations of homological structures by means of sets and lattices of subsets, yielding a precise foundation for the heuristic tool of Zeeman diagrams as universal models of spectral sequences.We thus establish an effective method of working with spectral sequences, called 'crossword chasing', that can often replace the usual complicated algebraic tools and be of much help to readers that want to apply spectral sequences in any field.
We saw in the previous chapter that many inverse problems can be formulated as operator equations of the form \documentclass12pt{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
...\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}
$$Kx = y,$$
\end{document} where K is a linear compact operator between Hilbert spaces X and Y over the field \documentclass12pt{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}
$$\mathbb{K} = \mathbb{R}$$
\end{document} or \documentclass12pt{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}
$$\mathbb{C}$$
\end{document}. We also saw that a successful reconstruction strategy requires additional a priori information about the solution.
Introduction and Basic Concepts Kirsch, Andreas
An Introduction to the Mathematical Theory of Inverse Problems,
2011, Volume:
120
Book Chapter
Peer reviewed
In this section, we present some examples of pairs of problems that are inverse to each other. We start with some simple examples that are normally not even recognized as inverse problems. Most of ...them are taken from the survey article 136 and the monograph 99.
This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, ...the equations of linear elasticity, the incompressible Navier–Stokes equations, and systems of nonlinear advection–diffusion–reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs. This book is open access under a CC BY license.
This volume deals with advanced topics in matrix theory using the notions and tools from algebra, analysis, geometry and numerical analysis. It consists of seven chapters that are loosely connected ...and interdependent. The choice of the topics is very personal and reflects the subjects that the author was actively working on in the last 40 years. Many results appear for the first time in the volume. Readers will encounter various properties of matrices with entries in integral domains, canonical forms for similarity, and notions of analytic, pointwise and rational similarity of matrices with entries which are locally analytic functions in one variable. This volume is also devoted to various properties of operators in inner product space, with tensor products and other concepts in multilinear algebra, and the theory of non-negative matrices. It will be of great use to graduate students and researchers working in pure and applied mathematics, bioinformatics, computer science, engineering, operations research, physics and statistics.
This text presents MATLAB both as a mathematical tool and a programming language, giving a concise and easy to master introduction to its potential and power. The fundamentals of MATLAB are ...illustrated throughout with many examples from a wide range of familiar scientific and engineering areas, as well as from everyday life. This new edition has been updated to include coverage of Symbolic Math and SIMULINK. It also adds new examples and applications, and uses the most recent release of MATLAB.