一道以群的定义为背景的高考试题赏析

每一年的高考数学试卷中都有一些以高等数学背景立意的好题目,如2006年四川卷理科第16题,是一道以近世代数中群的定义为背景立意的填空题,这样的试题能够有效考查学生的学习能力、思维能力和数学创新意识,这为高校选拔学习潜质好的学生创造了条件.……     

负数的自述

我是负数,你以前虽然见过我,但我们还不很熟悉.下面就听听我的自述,我们会成为好朋友的.一、我的出现是实际生活的需要.数的扩充都是由于实际的需要而产生的,负数的引入也不例外,它是由于表示具有相反意义的量的需要而产生的.小学学过的自然数和分数只能表示相反意义的量中的一个量,不能满足实际需要,为了更好的记数而引入一种     

“1”的自述

我是数字1,大家对我似乎很熟悉,其实却不然,为了以后我们能够成为好朋友,也为了同学们能学好数学,下面请听我的自我介绍:一、我是最小的正整数,我的绝对值还是我;我的相反数是-1,-1的绝对值也是我;我的任何次幂都是我1n=1;我的算术根还是我n1=1;一个数与它倒数的积也等于我,怎么样,牛吧?其实这也不算什么,下面还有更牛的呢.     

分配格上上标准特征向量的求法

本文研究了分配格(L,∧,∨,0,1)上方阵A的上特征向量的性质.利用矩阵的伴随有向图,得到格上方阵A的上标准特征向量的一种实用的新方法.     

抓机会用“嫁接”

把要繁殖的植物的枝或芽接到另一种植物体上使它们结合在一起,成为一个独立生长的植株……叫做嫁接,嫁接能够保持植物原有的某些特性,是常用的改良品种的方法.把“嫁接”的思想应用于数学,常常可以收到意想不到的效果.     

食饵具脉冲扰动与捕食者具连续收获的时滞捕食-食饵模型

本文讨论了与生物资源管理相关的食饵具脉冲扰动与捕食者具连续收获的时滞捕食-食饵模型,得到了捕食者灭绝周期解的全局吸引和系统持久的充分条件.也证明了系统的所有解的一致完全有界.我们的结论为现实的生物资源管理提供了可靠的策略依据,也丰富了脉冲时滞微分方程的理论.     

例谈备课中新课程的导入与设问环节

备课是教师的一项基本功,是教师对教材进行再创造的过程,是集教学内容,教学方式,教学艺术于一体的一项关键设计.备课质量的高低,不仅影响着教学计划的实施和教育方针的落实,更潜在地制约着课堂教学的效率.     

手机套餐问题的一个数学模型

随着信息时代的到来,手机在人们日常工作、社交、经营等社会活动中的作用越来越重要.近年来我国通信业务量飞速增长,手机的功劳更是功不可没.手机资费问题也越来越受到人们的关注,并且对原有的各种资费方案越来越质疑.2007年1月以来上海、北京、广东等地相继推出的手机"套餐"琳琅满目,让人眼花缭乱,人们不能理性分辨手机"套餐"究竟优惠在何处.……     

赏析2011年湖北高考理科立几题

2011年高考已经落幕,笔者有意关注了湖北数学试卷,解读理科数学试卷,两道立体几何试题给我留下了很深的印象.小题的背景和问题设置让人耳目一新;大题的解法入口宽,方法多,涉及的知识面广,打破了单纯考查立体几何的常规,建立了立体几何与函数、三角、向量、解几的密切联系.这两道试题充分体现了源于教材,略高于教     

如何分遗产

古罗马一位寡妇，遵照丈夫的遗嘱，把丈夫遗留下来的3500元遗产同她即将出生的孩子一起分配。如果生的是儿子，那么，按照罗马的法律，做母亲的应分得儿子份额的一半；如果生的是女儿，做母亲的就应分得女儿份额的两倍。可发生的事情是：生了一对双胞胎——一男一女。     

Scalarization of Henig Proper Efficient Points in a Normed Space

In a general normed space equipped with the order induced by a closed convex cone with a base, using a family of continuous monotone Minkowski functionals and a family of continuous norms, we obtain scalar characterizations of Henig proper efficient points of a general set and a bounded set, respectively. Moreover, we give a scalar characterization of a superefficient point of a set in a normed space equipped with the order induced by a closed convex cone with a bounded base.     

On a Mathematical Comparison between Hierarchy and Network with a Classification of Coordination Structures

This paper proposes a mathematical model to compare a network organization with a hierarchical organization. In order to formulate the model, we define a three-dimensional framework of the coordination structure of a network and of other typical coordination structures. In the framework, we can define a network structure by contrasting it with a hierarchy, in terms of the distribution of decision making, which is one of the main features of information processing. Based on this definition, we have developed a mathematical model for evaluating coordination structures. Using this model, we can derive two boundary conditions among the coordination structures with respect to the optimal coordination structure. The boundary conditions help us to understand why an organization changes its coordination structure from a hierarchy to a network and what factors cause this change. They enable us, for example, to find points of structural change where the optimal coordination structure shifts from a hierarchy to a hierarchy with delegation or from a hierarchy with delegation to a network, when the nature of the task changes from routine to non-routine. In conclusion, our framework and model may provide a basis for discussing the processes that occur when coordination structures change between a hierarchy and a network.     

An algorithm for constructing star-shaped drawings of plane graphs

A straight-line planar drawing of a plane graph is called a convex drawing if every facial cycle is drawn as a convex polygon. Convex drawings of graphs is a well-established aesthetic in graph drawing, however not all planar graphs admit a convex drawing. Tutte [W.T. Tutte, Convex representations of graphs, Proc. of London Math. Soc. 10 (3) (1960) 304–320] showed that every triconnected plane graph admits a convex drawing for any given boundary drawn as a convex polygon. Thomassen [C. Thomassen, Plane representations of graphs, in: Progress in Graph Theory, Academic Press, 1984, pp. 43–69] gave a necessary and sufficient condition for a biconnected plane graph with a prescribed convex boundary to have a convex drawing.In this paper, we initiate a new notion of star-shaped drawing of a plane graph as a straight-line planar drawing such that each inner facial cycle is drawn as a star-shaped polygon, and the outer facial cycle is drawn as a convex polygon. A star-shaped drawing is a natural extension of a convex drawing, and a new aesthetic criteria for drawing planar graphs in a convex way as much as possible. We give a sufficient condition for a given set A of corners of a plane graph to admit a star-shaped drawing whose concave corners are given by the corners in A, and present a linear time algorithm for constructing such a star-shaped drawing.     

On arithmetic Macaulayfication of Noetherian rings

The Rees algebra is the homogeneous coordinate ring of a blowing-up. The present paper gives a necessary and sufficient condition for a Noetherian local ring to have a Cohen-Macaulay Rees algebra: A Noetherian local ring has a Cohen-Macaulay Rees algebra if and only if it is unmixed and all the formal fibers of it are Cohen-Macaulay. As a consequence of it, we characterize a homomorphic image of a Cohen-Macaulay local ring. For non-local rings, this paper gives only a sufficient condition. By using it, however, we obtain the affirmative answer to Sharp's conjecture. That is, a Noetherian ring having a dualizing complex is a homomorphic image of a finite-dimensional Gorenstein ring.

     

Induction of Geometric Actions

We prove that, in some situations, an induced action from a normal subgroup preserves a geometric structure. Combined with known geometric rigidity results, this result implies certain rigidity statements concerning the full diffeomorphism group of a manifold. It also provides many examples of actions on Lorentz manifolds. Combining these with a small number of well-known actions, we get the full list of connected, simply connected Lie groups admitting a locally faithful, orbit nonproper action by isometries of a connected Lorentz manifold. We give an example of a connected nilpotent Lie group with no complicated action on a Lorentz manifold. We show that, if a connected Lie group has a normal closed subgroup isomorphic to a (two-dimensional) cylinder, then it admits a locally faithful, orbit nonproper action by isometries of a connected Lorentz manifold.     

On farthest points of sets

For a convex closed bounded set in a Banach space, we study the existence and uniqueness problem for a point of this set that is the farthest point from a given point in space. In terms of the existence and uniqueness of the farthest point, as well as the Lipschitzian dependence of this point on a point in space, we obtain necessary and su.cient conditions for the strong convexity of a set in several infinite-dimensional spaces, in particular, in a Hilbert space. A set representable as the intersection of closed balls of a fixed radius is called a strongly convex set. We show that the condition “for each point in space that is sufficiently far from a set, there exists a unique farthest point of the set” is a criterion for the strong convexity of a set in a finite-dimensional normed space, where the norm ball is a strongly convex set and a generating set.     

Slice theorem and orbit type stratification in infinite dimensions

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which the assumptions of this theorem are fulfilled. First, using Glöckner's inverse function theorem, we show that the linear action of a compact Lie group on a Fréchet space admits a slice. Second, using the Nash–Moser theorem, we establish a slice theorem for the tame action of a tame Fréchet Lie group on a tame Fréchet manifold. For this purpose, we develop the concept of a graded Riemannian metric, which allows the construction of a path-length metric compatible with the manifold topology and of a local addition. Finally, generalizing a classical result in finite dimensions, we prove that the existence of a slice implies that the decomposition of the manifold into orbit types of the group action is a stratification.     

A Decomposition of Markov Processes via Group Actions

We study a decomposition of a general Markov process in a manifold invariant under a Lie group action into a radial part (transversal to orbits) and an angular part (along an orbit). We show that given a radial path, the conditioned angular part is a nonhomogeneous Lévy process in a homogeneous space, we obtain a representation of such processes and, as a consequence, we extend the well-known skew-product of Euclidean Brownian motion to a general setting.      

λ-重K_(1,4)-设计到λ-重K_(1,3)-最大填充的变形

令(X,B)为一个u阶的λ-重K_(1,4)-设计.对于每一个区组B=(a:b,c,d,e)∈B,若删去边{a,e},则得到一个K_(1,3)[a:b,c,d].令C为删去B中每一个区组的边{a,e}而得到的K_(1,4)的集合,F为被删去的边构成的集合.若F可以被重组成[λv(v-1)/24]个K_(1,3)的集合D,则(X,CUD)为一个v阶λ-重K_(1,3)-最大填充.称(X,C∪D)为λ-重K_(1,4-)设计(X,B)的变形.本文证明了v阶λ-重K_(1,4)-设计到u阶λ-重K_(1,3)-最大填充的变形存在的充要条件是λv(v-1)≡0(mod 8)且v≥5.