从展示数学思维过程谈数学教学

从展示数学思维过程谈数学教学马华，翟宇毅（西安电子科技大学，西安７１００７１）高等数学是工科院校一门重要而难学的基础理论课，它不但为后继课程提供必需的基础知识，更重要的是，通过它的学习可以培养学生的能力，如逻辑推理能力、建立数学模型的能力、运算能力、...     

Expressing and Describing Experiences. A Case of Showing Versus Saying

Experiences are interpreted as conscious mental occurrences that are of phenomenal character. There is already a kind of (weak) intentionality involved with this phenomenal interpretation. A stricter conception of experiences distinguishes between purely phenomenal experiences and intentional experiences in a narrow sense. Wittgenstein’s account of psychological (experiential) verbs is taken over: Usually, expressing mental states verbally is not describing them. According to this, “I believe” can be seen as an expression of one’s own belief, but not as an expression of a belief about one’s belief. Hence, the utterance “I believe it is raining” shows that I believe that it is raining, although it is not said by these words that I believe that it is raining. Thinking thoughts such as “I believe it is raining, but it is not raining” (a variant of Moore’s paradox) is an absurdity between what is already said by silently uttering “It is not raining” and what is shown by silently uttering “I believe it is raining.” The paper agrees with a main result of Wittgenstein’s considerations of Moore’s paradox, namely the view that logical structure, deducibility, and consistency cannot be reduced solely to propositions—besides a logic of propositions, there is, for example, a logic of assertions and of imperatives, respectively.     

Classes characterized by best-possible approximation by spline functions

Certain classes of functions are introduced which are characterized by their best-possible approximation by splines.Translated from Matematicheskie Zametki, Vol. 8, No. 2, 137–148, August, 1970.     

Convexification of polygons by flips and by flipturns

Simple polygons can be made convex by a finite number of flips, or of flipturns. These results are extended to very general polygons.     

Approximation by chaotic operators and by conjugate classes

We show that every bounded linear operator on a separable, infinite-dimensional Hilbert space H is the sum of two operators in the norm-closure of the set of operators on H that are chaotic in the sense of Devaney. We also observe that the density of several classes of cyclic operators, with respect to the strong operator topology, may be derived from a result by Hadwin et al. (Proc Amer. Math. Soc. 76 (1979) 250-252).     

Algebras Generated by the Bergman and Anti-Bergman Projections and by Multiplications by Piecewise Continuous Functions

The C*-algebra generated by the Bergman and anti-Bergman projections and by the operators of multiplication by piecewise continuous functions on the Lebesgue space L²(Π) over the upper half-plane is studied. Making use of a local principle, limit operators techniques, and the Plamenevsky results on two-dimensional singular integral operators with coefficients admitting homogeneous discontinuities we reduce the study to simpler C*-algebras associated with points and pairs We construct a symbol calculus for unital C*-algebras generated by n orthogonal projections sum of which equals the unit and by m one-dimensional orthogonal projections. Such algebras are models of local algebras at points z ∈∂Π being the discontinuity points of coefficients. A symbol calculus for the C*- algebra and a Fredholm criterion for the operators are obtained. Finally, a C*-algebra isomorphism between the quotient algebra where is the ideal of compact operators, and its analogue for the unit disk is constructed.     

Ranking small regular polygons by area and by perimeter

From the pentagon onwards, the area of the regular convex polygon with n sides and unit diameter is greater for each odd number n than for the next even number n + 1. Moreover, from the heptagon onwards, the difference in areas decreases as n increases. Similar properties hold for the perimeter. A new proof of a result by K. Reinhardt follows.     

Algebraic structures determined by 3 by 3 matrix geometry

Using a ``3 by 3 matrix trick' we show that multiplication (an algebraic structure) in a *-algebra is determined by the geometry of the *-algebra of the 3 by 3 matrices with entries from , . This is an example of an algebra-geometry duality which, we claim, has applications.

     

Interpolation by neural network operators activated by ramp functions

In this paper, a family of interpolation neural network operators are introduced. Here, ramp functions as well as sigmoidal functions generated by central B-splines are considered as activation functions. The interpolation properties of these operators are proved, together with a uniform approximation theorem with order, for continuous functions defined on bounded intervals. The relations with the theory of neural networks and with the theory of the generalized sampling operators are discussed.     

Diffraction by an Acoustic Grating Perturbed by a Bounded Obstacle

An original approach to solve 2D time harmonic diffraction problems involving locally perturbed gratings is proposed. The propagation medium is composed of a periodically stratified half-space and a homogeneous half-space containing a bounded obstacle. Using Fourier and Floquet transforms and integral representations, the diffraction problem is formulated as a coupled problem of Fredholm type with two unknowns: the trace of the diffracted field on the interface separating the two half-spaces on one hand, and the restriction of the diffracted field to a bounded domain surrounding the obstacle, on the other hand.     

Solving Fredholm integral equations by approximating kernels by spline quasi-interpolants

We study two methods for solving a univariate Fredholm integral equation of the second kind, based on (left and right) partial approximations of the kernel K by a discrete quartic spline quasi-interpolant. The principle of each method is to approximate the kernel with respect to one variable, the other remaining free. This leads to an approximation of K by a degenerate kernel. We give error estimates for smooth functions, and we show that the method based on the left (resp. right) approximation of the kernel has an approximation order O(h ⁵) (resp. O(h ⁶)). We also compare the obtained formulae with projection methods.     

Representation of Nelson algebras by rough sets determined by quasiorders

In this paper, we show that every quasiorder R induces a Nelson algebra ${{\mathbb R}{\mathbb S}}$ such that the underlying rough set lattice RS is algebraic. We note that ${{\mathbb R}{\mathbb S}}$ is a three-valued ?ukasiewicz algebra if and only if R is an equivalence. Our main result says that if ${{\mathbb A}}$ is a Nelson algebra defined on an algebraic lattice, then there exists a set U and a quasiorder R on U such that ${{\mathbb A} \cong {\mathbb R}{\mathbb S}}$ .     

Approximation by generalized Shannon sampling operators generated by band-limited kernels

In this paper we consider some generalized Shannon sampling operators, which are defined by band–limited kernels. In particular, we use dilated an averaged versions of some previously known kernels. We give also some examples of using sampling operators in imaging applications. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Covering Convex Bodies by Cylinders and Lattice Points by Flats

In connection with an unsolved problem of Bang (1951) we give a lower bound for the sum of the base volumes of cylinders covering a d-dimensional convex body in terms of the relevant basic measures of the given convex body. As an application we establish lower bounds on the number of k-dimensional flats (i.e. translates of k-dimensional linear subspaces) needed to cover all the integer points of a given convex body in d-dimensional Euclidean space for 1≤k≤d−1. K. Bezdek and A.E. Litvak are partially supported by a Natural Sciences and Engineering Research Council of Canada Discovery Grant.