This tag is for questions where the poster seeks references (books, articles, etc.) about a particular subject. Please do not use this as the only tag for a question.

learn more… | top users | synonyms (3)

21
votes
0answers
1k views
+50

Continuous projections in $\ell_1$ with norm $>1$

I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case ...
18
votes
0answers
320 views

Theorem that von Neumann proved in five minutes.

In "How To Solve It", George Pólya writes: "There was a seminar for advanced students in Zürich that I was teaching and von Neumann was in the class. I came to a certain theorem, and I said it ...
16
votes
0answers
274 views

Is there an exposition of complex analysis firmly separating the algebra, analysis, and topology?

Complex analysis seems to work because of the interplay between algebraic geometry over $\mathbb{C}$, and analysis and topology exploiting the fact that $\mathbb{C}/\mathbb{R}$ happens to be a ...
16
votes
0answers
421 views

When is an infinite product of natural numbers regularizable?

I only recently heard about the concept of $\zeta$-regularization, which allows the evaluation of things like $$\infty !=\mathop{\hat{\prod}}_{k=1}^\infty k = \sqrt{2\pi}$$ and $$\infty ...
15
votes
0answers
361 views

Dedekind Sum Congruences

For $a,b,c \in \mathbb{N}$, let $a^{\prime} = \gcd(b,c)$, $b^{\prime} = \gcd(a,c)$, $c^{\prime} = \gcd(a,b)$ and $d = a^{\prime} b^{\prime} c^{\prime}$. Define $\mathfrak{S}(a,b,c) = a^{\prime} ...
12
votes
0answers
128 views

References on the theory of $2$-groups.

Many theorems about odd order $p$-groups fail miserably for $2$-groups. These can range from simple $2$-group exceptions (e.g. Frobenius complements can be either cyclic or generalized quaternion) to ...
11
votes
0answers
226 views

Anecdote about mathematicians leaping to tops of problems and then building a staircase down?

I've run across this cute little story before, and now for the life of me I can't find it anywhere. It goes something like: Two people are looking out onto a mathematical landscape, and there are ...
11
votes
0answers
219 views

On the Constant Rank Theorem and the Frobenius Theorem for differential equations.

Recently I was reading chapter $4$ (p. $60$) of The Implicit Function Theorem: History, Theorem, and Applications (By Steven George Krantz, Harold R. Parks) on proof's of the equivalence of the ...
11
votes
0answers
339 views

Normalizers of automorphism groups

In abstract groups $\Gamma$ the normalizer $N_\Gamma(S)$ of a subset $S\subseteq\Gamma$ is the subgroup of all $x \in \Gamma$ that commute with $S$, i.e. $xS = Sx$, i.e. $x\ y\ x^{-1} \in S $ for all ...
11
votes
0answers
159 views

Fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n, \mathbb Z)$

What is a simple description of a fundamental domain of $\operatorname{GL}(n,\mathbb R)$ acted on by $\operatorname{GL}(n,\mathbb Z)$? $\operatorname{GL}(n,\mathbb R)$ is the group of all real ...
10
votes
0answers
168 views

Important topics for arithmetic geometry (esp Arakelov geometry)?

Seeing other past successful 'roadmap' questions, I hope this question is acceptable and not too vague. I know I'd like to eventually study arithmetic algebraic geometry - but I also know that it's a ...
10
votes
0answers
2k views

Self-study Real analysis Tao or Rudin?

The reference requests for analysis books have become so numerous as to blot out any usefulness they could conceivably have had. So here come another one. Recently I've began to learn real analysis ...
10
votes
0answers
936 views

Which is better strategy to learn and read books, traditionally one by one OR re-read carefully on perfect books

(Just focus on how to learn and master the stuff pretty well, not involve the aspect of courses or exam) Because recently I always feel that the time and energy are pretty limited, I want to try ...
9
votes
0answers
64 views

Statistics Primer for the Unwary Mathematician

I have a new position in a biology department (after being housed in a maths department) working on cognitive and population modeling. People in my lab are asking for help with applying statistical ...
9
votes
0answers
147 views

Reference on standard types

This question is about what I presume is a basic construction in type theory. The finite types are defined as follows: 0 is a finite type; if $\sigma, \tau$ are finite types, then so is ...
9
votes
0answers
221 views

Infinite dimensional constant rank theorem

Suppose you have an analytic map $\phi : E \rightarrow \mathbb{C}^n$, where $E$ is a complex Banach space, and such that the rank of $D \phi$ is constant. Is it true then that the set ...
9
votes
0answers
256 views

Maximal ideal space of $C^*$-algebra of Riemann integrable functions

Let $R([0,1])$ be the unital commutative $C^*$-algebra of complex valued Riemann integrable functions on $[0,1]$ with pointwise operations and the supremum norm. In the 1980 paper The Gelfand space ...
8
votes
0answers
83 views

Size of connected regions on a randomly-colored infinite chessboard

Consider an infinite chessboard where each square is colored white with probability $p$ and black with probability $1-p$. Suppose without loss of generality that the square at $(0,0)$ is white. We ...
8
votes
0answers
99 views

Reference for l-adic Lie algebras

I don't know much at all about Lie algebras or representation theory, and I'm trying to read Ribet's `Review of Abelian l-adic Representations and Elliptic Curves'. Is there a standard reference for ...
8
votes
0answers
240 views

Stokes theorem on Lipschitz-manifolds?

I was wondering if Stokes' theorem could be formulated in a setting which could be easily applied in situations where the traditional form cannot, such as on manifolds with corners like a rectangle or ...
7
votes
0answers
202 views

Modern research into Grassman's “theory of forms”?

I quote from Petsche's Hermann Graßmann: Biography (emphasis mine): The mathematical part of the book begins with the conception of the “General Theory of Forms”. Starting with a perspective on ...
7
votes
0answers
188 views

How much time is reasonable to complete baby Rudin?

I've been teaching myself math for more than a year. My current aim is towards algebraic topology and differential geometry. Apart from a messy (by which i mean some rigorous and some not) ...
7
votes
0answers
248 views

Proving equivalence of a tree-based version of Countable Choice for families of finite sets.

In this paper by Good and Tree, the following result is mentioned without proof as part of Proposition 6.5: Each of the following statements imply those beneath it. The countable union of ...
7
votes
0answers
190 views

Kakeya Needle problem video

I'm intruiged by the Kakeya Needle problem, described here on Wikipedia. Wikipedia has a nice animation of a needle turning through a hypo-cycloid: What I'm searching for is a visualisation of the ...
7
votes
0answers
127 views

Where to go after _To Mock A Mockingbird_?

So long ago I read Raymond Smullyan's delightful To Mock A Mockingbird, a gentle introduction to combinatory logic (representing combinators as 'birds' singing back and forth to each other). I fell ...
7
votes
0answers
175 views

Type theory as foundations

Does anyone know any good references that describe type theoretical foundations of mathematics? I've read some books e.g. Winskel's The Formal Semantics of Programming Languages and Pierce's Types and ...
7
votes
0answers
177 views

Citation for subset complement result

Let $S = \{s_1, \ldots, s_n\} \subset \{1, \ldots, 2n\}$. Consider two operations on $S$, unfortunately both called complement in different setting: let $A(S) = \{1, \ldots, 2n\} \setminus S$ (set ...
7
votes
0answers
243 views

What is the class of languages accepted by DFAs whose transition monoids are transitive permutation groups?

In the Wiki page A permutation automaton, or pure-group automaton, is a deterministic finite automaton such that each input symbol permutes the set of states. ..... A formal language is p-regular ...
7
votes
0answers
120 views

Two cones over a projective variety

Let $A$ be a commutative graded algebra over a field $k$ and $X=\operatorname{Proj}(A)$ is a smooth scheme, then $E=\oplus_{i \geq 0} \mathcal O_X(i)$ is a quasi-coherent sheaf of algebras on $X$. I ...
7
votes
0answers
163 views

Ideal of the pullback of a closed subscheme

Let $f : X \to Y$ be a morphism of schemes and $J \subseteq \mathcal{O}_Y$ a quasi-coherent ideal. Let $I$ denote the image of $f^* J \to f^* \mathcal{O}_Y = \mathcal{O}_X$. Then $I \subseteq ...
7
votes
0answers
123 views

Measure-driven differential equations

Background: I need some help to understand the concept behind measure-driven differential equations. The solution of an ordinary differential equation is continuous. In order to describe discontinuous ...
7
votes
0answers
152 views

Reference suggestion: eigenvalues of tridiagonal matrices

I would like to ask for a reference on the problem of computing the eigenvalues/eigenvectors of tridiagonal matrices (not necessarily with constant diagonals). I have seen authors use continued ...
7
votes
0answers
90 views

Mean hitting time: reference request

After answering the question Expectation of a stopping time uniquely determined by a function I was looking for the literature on the mean hitting/exit time for a discrete-time Markov process. In Meyn ...
7
votes
0answers
207 views

What are D-branes (in a topological field theory)?

In the past couple years, I've read many words pertaining to D-branes without feeling I have really comprehended them. In broad terms, I think I get what they're about: They're supposed to serve as ...
6
votes
0answers
106 views

What is the Coxeter diagram for?

I understand that Coxeter diagrams are supposed to communicate something about the structure of symmetry groups of polyhedra, but I am baffled about what that something is, or why the Coxeter ...
6
votes
0answers
78 views

To whom is the proof that $A_n$ is simple for $n\geqslant 5$ due, in Rotman's book?

The proof in Rotman's book, Introduction to the Theory of Groups, that $A_n$ is simple consists of the observation that $A_n$ is generated by the $3$-cycles, and hence that if a normal subgroup $H\lhd ...
6
votes
0answers
121 views

Matrix diagonalization theorems and counterexamples: reference-request.

I'm looking for exhaustive list of diagonalization theorems and counterexamples in linear algebra. In this question I understand the question of matrix diagonalization very broadly: suppose we have ...
6
votes
0answers
112 views

Cantor-Schröder-Bernstein without elements

The Cantor-Schröder-Bernstein Theorem for the category of sets has several "analogues" for other categories as well, for example measurable spaces and operator algebras (but not for arbitrary ...
6
votes
0answers
133 views

Adelic/Idelic method for number fields

I'm searching for a place where is developed all the machinery of adeles and ideles of a number field; the functional equation for the zeta functions is gained by idelic integration, and it's seen the ...
6
votes
0answers
502 views

Optimization / personalization within clusters

I have the following optimization problem: I have a (random and very noisy) objective function f(A, P), where A is a vector of "observable" parameters of the input and P is the parameters that I can ...
6
votes
0answers
140 views

Point set topology from an algebraic perspective?

I got this idea of viewing a topology as an operation on a ring of sets. Let $\mathcal R = (\mathcal P(X), \cap, \triangle)$ be a ring of sets. ($\triangle$ is the symmetric difference operation and ...
6
votes
0answers
47 views

What can we learn about a magma by studying these monoids?

Given a magma $(X,*)$, we get three monoids in the following way. First, define a pair of functions $L,R : X \rightarrow (X \rightarrow X).$ $$(Lx)(y) = x*y,\quad (Rx)(y) = y*x$$ Then each of the ...
6
votes
0answers
67 views

Integrals 3.384 from Gradshteyn and Ryzhik

I'm interested in understanding the computation of $$\int_{-\infty}^\infty\frac{e^{-ip x}}{(1 + ix)^{2u}(1-ix)^{2v}}\mathrm{d}x,$$ which is evaluated in 3.384.9 of Gradshteyn and Rhysik for ...
6
votes
0answers
76 views

The projective model structure on chain complexes

Let $\mathcal{A}$ be an abelian category with enough projective objects and let $\mathcal{M}$ be the category of chain complexes in $\mathcal{A}$ concentrated in non-negative degrees. Quillen [1967, ...
6
votes
0answers
60 views

References on the Nash-Moser Implicit Function Theorem

To learn, the Nash-Moser implicit function theorem, I tried with Hamilton (1982) The Inverse Function Theorem of Nash and Moser. But, the article is very encyclopedic. I have a background in ...
6
votes
0answers
107 views

Is there an elementary introduction to higher order functions?

I am teaching a pre-calculus course (using the textbook by Michael Sullivan if it helps), and I realized that higher order functions seem to show up in with some frequency in pre-calculus and ...
6
votes
0answers
189 views

Generalizing the natural numbers - has this been studied before?

The ordinals numbers generalize the natural numbers and satisfy a generalized induction principle. However, the algebraic properties of the ordinal numbers aren't so good. For example, ordinal sums ...
6
votes
0answers
144 views

Historical Question about Schur-Zassenhaus Theorem

I couldn't find any historical information about Schur-Zassenhaus theorem in many books or even papers which mention this theorem. I think, Schur proved that if $G$ is a finite group and if $N$ is ...
6
votes
0answers
119 views

The Irreducible Corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group

Question What are the irreducible corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group? The trivial corepresentation is given by $\Delta_{|W}$ where $W$ is just the one dimensional ...
6
votes
0answers
201 views

A few standard results (on metrizability and relative separation strength) without choice?

I've been going back over some results from Munkres's Topology, and I'm curious about some things.... I know that Choice principles have some connection to the separation axioms (in ZF, at ...