User:Bethnim

Discrete and Continuous Mathematics, Pure and Applied Mathematics

"The most prominent of these runs between Pure and Applied Mathematics. The controversy around Bourbaki focuses on Abstract vs. Concrete. The distinction between Structural Mathematics (whose main results are theorems and proofs) and Algorithmic Mathematics (whose results are algorithms and their analysis) can be traced back to ancient times. There is a deep division (or at least so it appears) between Continuous and Discrete Mathematics.", László Lovász, "One Mathematics", The Berliner Intelligencer, Berlin, 1998

[http://users.uoa.gr/~apgiannop/zeilberger.pdf "Real analysis" is a degenerate case of discrete analysis], Doron Zeilberger, Proceedings of the Sixth International Conference on Difference Equations, Aulbach, et al, ed., CRC Press, 2004.

=Computer science=

Computer science considers both discrete and continuous computational processes, and both discrete and continuous input/output:

  • Continuous complexity theory:
  • Complexity theory of continuous time computation using dynamical systems or other [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.1895&rep=rep1&type=pdf continuous models of continuous computation].
  • [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.33.4678&rep=rep1&type=pdf Complexity theory of numerical analysis] (various approaches including Information-based complexity, algebraic complexity theory)

Including P!=NP over R

  • Information is encoded analogously in the neural networks of brains, in analog signal processing, and analog electronics. Aspects of [http://scholar.google.com/scholar?&q=%22analog+code%22+OR+%22analogue+code%22+OR+%22analogue+coding%22+OR+%22analog+coding%22 analog coding] include [http://scholar.google.com/scholar?q=%22analog+error+correction%22 analog error correction][http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.30.4093&rep=rep1&type=pdf Analog Error-Correcting Codes Based on Chaotic Dynamical Systems], Brian Chen and Gregory W. Wornell, IEEE TRANSACTIONS ON COMMUNICATIONS, VOL. 46, NO. 7, JULY 1998, [http://scholar.google.com/scholar?q=%22analog+data+compression%22 analog data compression][http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.142.5853&rep=rep1&type=pdf On Analog Signature Analysis], Franc Novak Bojan Hvala, Sandi Klavžar, "Proceedings of the conference on Design, automation and test in Europe", 1999, ISBN:1-58113-121-6 . [http://scholar.google.com/scholar?hl=en&q=%22analog+encryption%22 analog encryption][http://www.hooklee.com/Papers/IEEETCASI2008.pdf Cryptanalyzing an Encryption Scheme Based on Blind Source Separation], Shujun Li, Chengqing Li, Kwok-Tung Lo, Guanrong Chen, IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: REGULAR PAPERS, VOL. 55, NO. 4, PAGES 1055-1063, APRIL 2008
  • [http://scholar.google.com/scholar?q=%22analog%20Automata%22%20OR%20%22continuous%20Automata "analog Automata" OR "continuous Automata"]
  • [http://scholar.google.com/scholar?q=%22continuous%20Petri%20nets%22 "Continuous Petri nets"]
  • [http://scholar.google.com/scholar?&q=%22continuous-time%22+%22process+algebra%22 "continuous-time" "process algebra"]

=Number theory=

What is the most pure mathematics subject ? The queen of mathematics, number theory.

What is the most applied ? Mathematical physics.

Here are the Google results for [http://scholar.google.com/scholar?q=%22Number%20theory%20and%20physics%22 "Number theory and physics"]

Number theory isn't concerned solely discrete objects: Transcendental numbers, Diophantine approximation, p-adic analysis, function fields

=Other topics often categorized as part of discrete mathematics=

  • Graph theory
  • [http://scholar.google.com/scholar?q=%22continuous+graphs%22+OR+%22continuous+graph%22+vertices continuous graphs]
  • [http://scholar.google.com/scholar?q=%22Analysis%20on%20graphs Analysis on graphs]
  • [http://scholar.google.com/scholar?&q=%22metric+graph+theory%22+OR+%22geometric+graph+theory%22 "metric graph theory" OR "geometric graph theory"]
  • Lattices: [http://scholar.google.com/scholar?q=%22continuous+lattices%22 continuous lattices]
  • Operations research: [http://scholar.google.com/scholar?q=%22operations+research%22+%22continuous+processes%22 continuous processes in operations research]
  • Logic: [http://scholar.google.com/scholar?q=%22continuous%20logic%22 "continuous logic"] (fuzzy logic)

Almost any discrete object can be [http://scholar.google.com/scholar?q=continuization+OR+%22continuous+version%22+OR+%22continuous+analog%22+OR+%22continuous+analogue%22 continuized] e.g. [http://scholar.google.com/scholar?q=%22continuous+graphs%22+OR+%22continuous+graph%22+vertices continuous graphs] ([http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.8030&rep=rep1&type=pdf Novel architectures for P2P applications: the continuous-discrete approach]). Even [http://stationq.cnsi.ucsb.edu/~freedman/Publications/64.pdf continuous proof], [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.5972&rep=rep1&type=pdf infinite proof trees with continuous branching]. If a discrete object doesn't have a continuous version it is just because noone has gotten round to continuifying it yet.

Likewise, almost any continuous object can be [http://scholar.google.com/scholar?&q=discretization+OR+%22discrete+version%22+OR+%22discrete+analog%22+OR+%22discrete+analogue%22 discretized].

=Calculus of finite differences, discrete calculus or discrete analysis=

{{main|finite difference}}

Many concepts in analysis have discrete versions giving rise to discrete analysis. e.g. Discrete Calculus of Variations. See discrete mathematics for more examples. So analysis shouldn't be contrasted with discrete. Analysis isn't just about limits or continuity in the traditional sense of real numbers, it is a collection of concepts and methods about functions - be they discrete or continuous, and the spaces that the functions act on, and the function spaces that the functions themselves are members of. A discrete function f(n) is usually called a sequence a(n) (see sequence space). A sequence could be a finite sequence from some data source or an infinite sequence from a discrete dynamical system. A discrete function could be defined explicitly by a list, or by a formula for f(n) or it could be given implicitly by a recurrence relation or difference equation. A difference equation is the discrete equivalent of a differential equation and can be used to approximate the latter or studied in its own right. Every question and method about differential equations has a discrete equivalent for difference equations. For instance where there are integral transforms in harmonic analysis for studing continuous functions or analog signals, there are discrete transforms for discrete functions or digital signals. Time scale calculus is a unification of the theory of difference equations with that of differential equations. Solutions to difference and functional equations can also be continuous functions. As well as the discrete metric there are more general discrete or finite metric spaces and finite topological spaces.

References

Links

  • [http://www.crcpress.com/product/isbn/9781439819463 Combinatorics of Spreads and Parallelisms], Norman Johnson, CRC Press, 2010, {{ISBN|9781439819463}}
  • parallelisms, spreads, partial spreads, spreadsets, quasifields, collineations, automorphisms, autotopisms, translation planes, nets
  • [http://www.crcpress.com/product/isbn/9781420094459 Discrete Variational Derivative Method: A Structure-Preserving Numerical Method for Partial Differential Equations], Daisuke Furihata, CRC Press, 2010, {{ISBN|9781420094459}}
  • [http://books.google.com/books?id=V3gGuZwUIMAC Substitution Dynamical Systems - Spectral Analysis], Martine Queffélec, Springer, 2010, {{ISBN|9783642112119}}
  • [http://books.google.co.uk/books?id=9otBECWXcWoC Nonnegative and Compartmental Dynamical Systems], Wassim M. Haddad, Vijaysekhar Chellaboina, Qing Hui, Princeton University Press, 2010, {{ISBN|9780691144115}}