Hadi Haghshenas
the main goal of this paper is to prove that any Banach space X, that every dual ball in X** is weak* -separable, or every weak* -closed convex subset in X** is weak* -separable, or every norm-closed convex set in X* is constructible, admits an equivalent Frechet differentiable norm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We show that any non-zero Banach space with a separable dual contains a totally disconnected, closed and bounded subset S of Hausdorff dimension 1 such that every Lipschitz function on the space is Fréchet differentiable somewhere in S.
We consider a perturbation determinant for pairs of nonpositive (in a sense of Komatsu) operators on Banach space with nuclear difference and prove a generalization of the important formula for the logarithmic derivative of this determinant. To this end the Frechet differentiability of operator monotonic (negative complete Bernstein) functions of negative and nonpositive operators on Banach spaces is investigated. The results may be regarded as a contribution to the Hirsch functional calculus.
Caracterisation of Frechet differentiability norm for dual complex Banach spaces
本文刻画了复Banach空间对偶空间的Frechet可微性，并证明若X的对偶空间Gateaux可微，则Lp(X)的对偶空间对所有p同样具备该性质。
Frechet differentiability of the metric projection operator in Banach spaces
本文研究了一致凸且一致光滑的 Banach 空间中度量投影算子的 Frechet 可微性，并针对闭球、闭凸圆柱和正锥等闭凸子集，求得了其 Frechet 导数与 Gateaux 方向导数的精确表达式。
Let X be a real uniformly convex and uniformly smooth Banach space and C a nonempty closed and convex subset of X. Let Pc from X to C denote the (standard) metric projection operator. In this paper, we define the Gateaux directional differentiability of Pc. We investigate some properties of the Gateaux directional differentiability of Pc. In particular, if C is a closed ball or a closed and convex cone (including proper closed subspaces), then, we give the exact representations of the directional derivatives of Pc. Finally, we define the concept of p-q uniformly convex and uniformly smooth Ban…
This paper deals with the extension of a classical theorem by R. Phelps on the Gâteaux differentiability of Lipschitz functions on separable Banach spaces to the non-separable case. The extension of the theorem is not possible for general non-separable Banach spaces, as shown by Larman. Therefore, we will work on some important non-separable spaces. We consider a norm of the non-separable space $\ell^{\infty}(\mathbb{R})$, showing that it complies with the aforementioned theorem thesis. We also consider other examples as $L^{\infty}(\mathbb{R})$ and $NBV[a,b]$, showing in all cases their sets …
Completeness of constructible norms
本文研究巴拿赫空间中等价范数族在巴拿赫-马祖尔型度量下的完备性，并证明有界利普希茨映射空间上可构造范数族的完备性。
Directional Differentiability of the Generalized Metric Projection in Banach Spaces
本文研究实一致凸且一致光滑Banach空间中广义度量投影算子的Gateaux方向可微性，并针对闭球、闭凸锥和闭凸柱体给出方向导数的精确表示及与标准度量投影的比较。
Differentiability of Lipschitz curves in $p$-Banach spaces
本文刻画了拟Banach空间中每条Lipschitz曲线可微的充要条件为同构于具有Radon–Nikodým性质的Banach空间，并研究$\ell_p$（$0<p<1$）中解耦坐标构造下的几乎处处可微性。
A well-known open question is whether every countable collection of Lipschitz functions on a Banach space X with separable dual has a common point of Frechet differentiability. We show that the answer is positive for some infinite-dimensional X. Previously, even for collections consisting of two functions this has been known for finite-dimensional X only (although for one function the answer is known to be affirmative in full generality). Our aims are achieved by introducing a new class of null sets in Banach spaces (called $Γ$-null sets), whose definition involves both the notions of category…
The main purpose of this paper is to treat semigroups properties, like norm continuity, compactness and differentiability for perturbed semigroups in Banach spaces. In particular, we investigate three large classes of perturbations, Miyadera-Voigt, Desch-Schappacher and Staffans-Weiss perturbations. Our approach is mainly based on feedback theory of Salamon-Weiss systems. Our results are applied to abstract boundary integro-differential equations in Banach spaces.
Gateaux differentiability in the Banach space of meromorphic functions
该研究利用Birkhoff-James正交性技术刻画了亚纯函数巴拿赫空间中的Gateaux可微性，提出扩展正交覆盖集（EOCS）概念以改进解析函数可微性相关结果，并推导了亚纯函数的相关性质。
Let $f$ be a Lipschitz map from a subset $A$ of a stratified group to a Banach homogeneous group. We show that directional derivatives of $f$ act as homogeneous homomorphisms at density points of $A$ outside a $σ$-porous set. At density points of $A$ we establish a pointwise characterization of differentiability in terms of directional derivatives. We use these new results to obtain an alternate proof of almost everywhere differentiability of Lipschitz maps from subsets of stratified groups to Banach homogeneous groups satisfying a suitably weakened Radon-Nikodym property. As a consequence we …
Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ a mapping. We prove that there exists a $σ$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is Gâteaux differentiable at $x$, then $f$ is Hadamard differentiable at $x$. If $f$ is Borel measurable (or has the Baire property) and is G\^ ateaux differentiable at all points, then $f$ is Hadamard differentiable at all points except a set which is $σ$-directionally porous set (and so is Aronszajn null, Haar null and $Γ$-null). Consequently, an everywhere G\^ ateaux diff…
Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ an arbitrary mapping. Then the following implication holds at each point $x \in X$ except a $σ$-directionally porous set: If the one-sided Hadamard directional derivative $f'_{H+}(x,u)$ exists in all directions $u$ from a set $S_x \subset X$ whose linear span is dense in $X$, then $f$ is Hadamard differentiable at $x$. This theorem improves and generalizes a recent result of A.D. Ioffe, in which the linear span of $S_x$ equals $X$ and $Y = \R$. An analogous theorem, in which $f$ is pointwise Lipschitz, and which deals wit…
Frechet differentiability and quasi-polyhedrality in spaces of operators
本文研究了在算子空间中非常光滑点的弗雷歇可微性，揭示了高阶偶数次对偶空间范数光滑性与算子空间光滑性的关系。
We prove the differentiability of Lipschitz maps X-->V, where X is a complete metric measure space satisfying a doubling condition and a Poincaré inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends on a new characterization of the differentiable structure on such metric measure spaces, in terms of directional derivatives in the direction of tangent vectors to suitable rectifiable curves.
In this paper, we study a part of approximation theory that presents the conditions under which a \Ceby\sev set in a Banach space is convex. To do so, we use Gateaux differentiability of the distance function.
Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our results imply that if $X_1, \dots, X_{n-1}$ are Asplund spaces and $f$ is continuous (resp. Lipschitz) on $X$, then $A_f$ is a first category set (resp. a $σ$-upper porous set). We also prove that if $X$, $Y$ are separable Banach spaces and $f:X \to Y$ is a Lipschitz mapping, then the set of all points $x \in X$ at which $f$ is G\^ ateaux differentiable, is Fr\…
We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$ is the set of points where $f$ is pointwise-Lipschitz. This improves a result of Bongiorno. As a corollary, we obtain that every $K$-monotone function on a separable Banach space is Hadamard differentiable outside of a set belonging to $\tilde\mcC$; this improves a result due to Borwein and Wang. Another corollary is that if $X$ is Asplund, $f:X\to\R$ cone mo…
The paper deals with multidimensional Bochner-Phillips functional calculus. In the previous paper by the author bounded perturbations of Bernstein functions of several commuting semigroup generators on Banach spaces where considered, conditions for Lipschitzness and estimates for the norm of commutators of such functions where proved. Also in the one-dimensional case the Frechet differentiability of Bernstein functions of semigroup generators on Banach spaces where proved and a generalization of Livschits-Kreĭn trace formula derived. The aim of the present paper is to prove the Frechet differe…
Quasianalyticity in certain Banach function algebras
本文研究复平面上满足广义$\mathcal{F}$-可微性概念的函数代数的拟解析性，给出充分条件，并构造了一个不容许非平凡Jensen测度且非正则的自然均匀代数。
We investigate the differentiability properties of real-valued quasiconvex functions f defined on a separable Banach space X. Continuity is only assumed to hold at the points of a dense subset. If so, this subset is automatically residual. Sample results that can be quoted without involving any new concept or nomenclature are as follows: (i) If f is usc or strictly quasiconvex, then f is Hadamard differentiable at the points of a dense subset of X (ii) If f is even, then f is continuous and Gateaux differentiable at the points of a dense subset of X. In (i) or (ii), the dense subset need not b…
We characterize the limited operators by differentiability of convex continuous functions. Given Banach spaces $Y$ and $X$ and a linear continuous operator $T: Y \longrightarrow X$, we prove that $T$ is a limited operator if and only if, for every convex continuous function $f: X \longrightarrow \R$ and every point $y\in Y$, $f\circ T$ is Fréchet differentiable at $y\in Y$ whenever $f$ is Gâteaux differentiable at $T(y)\in X$.
It is well known that in $R^n$ , G{â}teaux (hence Fr{é}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends naturally to certain infinite dimensional vector spaces, in particular to Banach spaces having a Schauder basis.
We show that Sobolev maps with values in a dual Banach space can be characterized in terms of weak derivatives in a weak* sense. Since every metric space embeds isometrically into a dual Banach space, this implies a characterization of metric space valued Sobolev maps in terms of such derivatives. Furthermore, we investigate for which target spaces Sobolev maps are weak* differentiable almost everywhere.
In this work we provide a characterization of distinct type of (linear and non-linear) maps between Banach spaces in terms of the differentiability of certain class of Lipschitz functions. Our results are stated in an abstract bornological and non-linear framework. Restricted to the linear case, we can apply our results to compact, weakly-compact, limited and completely continuous linear operators. Moreover, our results yield a characterization of Gelfand-Phillips spaces and recover some known result of Schur spaces and reflexive spaces concerning the differentiability of real-valued Lipschitz…
Symmetric monoidal categories of conveniently-constructible Banach bundles
本文证明了截面空间代数有限生成的连续赋范 Banach 丛的局部平凡性，并揭示了拓扑有限生成连续 Banach 丛范畴在对称幺半结构下的性质与刚性对象刻画。
We prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of contractions of a Banach space. Similar results are obtained for k times strictly differentiable maps, and for k times Lipschitz differentiable maps. In the real case, our results subsume an implicit function theorem for Keller C^k_c-maps from arbitrary topological vector spaces to Banach spaces.
We develop differential calculus of $C^{r,s}$-mappings on products of locally convex spaces and prove exponential laws for such mappings. As an application, we consider differential equations in Banach spaces depending on a parameter in a locally convex space. Under suitable assumptions, the associated flows are mappings of class $C^{r,s}$.
For an arbitrary infinite-dimensional Banach space $\X$, we construct examples of strongly-measurable $\X$-valued Pettis integrable functions whose indefinite Pettis integrals are nowhere weakly differentiable; thus, for these functions the Lebesgue Differentiation Theorem fails rather spectacularly. We also relate the degree of nondifferentiability of the indefinite Pettis integral to the cotype of $\X$, from which it follows that our examples are reasonably sharp. This is an expanded version of a previously posted paper with the same name.
The wark is a contribution to the functional calculus constructed by of the author and A. A. Atvinovskii of closed operators on Banach spaces. The calculus is based on Markov and related functions as symbols. Estimates of bounded perturbations of operator functions with respect to general operator ideal norms, operator Lipschitzness, moment inequality, Freshet operator differentiability, and Livshitz-Krein trace formulae have been considered.
We establish a necessary and sufficient condition for the differentiability of the distance function generated by a nonempty closed set K in a real normed linear space X under a proximinality condition on K. We do not assume the uniform differentiability constraints on the norm of the space as in Giles [16]. Hence, our result advances that of Giles [16]. We prove that the proximinal condition of Giles [16] is true for almost suns. The proximinal condition ensures convexity of an almost sun in some class of strongly smooth spaces under a differentiability condition of the distance function. A n…
Weak derivatives and metric differentiability almost everywhere
本文针对任意度量或Banach空间中Lipschitz映射不一定弱*可微的问题，提出基于弱弱*导数的方法，为度量微分提供线性表示并使其可通过线性算子范数计算。
We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $μ=\sum_n λ_n \frac{δ_{x_n}-δ_{y_n}}{d(x_n,y_n)}$ such that $\|μ\|=\sum_n |λ_n |$. We characterise these elements in terms of geometric conditions on the points $x_n$, $y_n$ of the underlying metric space, and determine when they are points of Gâteaux differentiability of the norm. In particular, we show that Gâteaux and Fréchet differentiability are equivalent for finitely supported elements of Lipschitz-free spaces over uniformly discrete and bounded metric spaces, and that their tensor products with G…
In this article properties of the $(b, c)$-inverse, the inverse along an element, the outer inverse with prescribed range and null space $A^{(2)}_{T, S}$ and the Moore-Penrose inverse will be studied in the contexts of Banach spaces operators, Banach algebras and $C^*$-algebras. The main properties to be considered are the continuity, the differentiability and the openness of the sets of all invertible elements defined by all the aforementioned outer inverses but the Moore-Penrose inverse. The relationship between the $(b, c)$-inverse and the outer inverse $A^{(2)}_{T, S}$ will be also charact…
Let $K$ be a Hausdorff space and $C_b(K)$ be the Banach algebra of all complex bounded continuous functions on $K$. We study the Gâteaux and Fréchet differentiability of subspaces of $C_b(K)$. Using this, we show that the set of all strong peak functions in a nontrivial separating separable subspace $H$ of $C_b(K)$ is a dense $G_δ$ subset of $H$, if $K$ is compact. This gives a generalized Bishop's theorem, which says that the closure of the set of strong peak point for $H$ is the smallest closed norming subset of $H$. The classical Bishop's theorem was proved for a separating subalgebra $H$ a…
Let $E$ be a Banach space with the $c^1$-norm $\|\cdot\|$ in $ E \backslash \{0\}$ and $S(E)=\{e\in E: \|e\|=1\}.$ In this paper, a geometry characteristic for $E$ is presented by using a geometrical construct of $S(E).$ That is, the following theorem holds : the norm of $E$ is of $c^1$ in $ E \backslash \{0\}$ if and only if $S(E)$ is a $c^1$-submanifold of $E,$ with ${\rm codim}S(E)=1.$ The theorem is very clear, however, its proof is non-trivial, which shows an intrinsic connection between the continuous differentiability of the norm $\|\cdot\|$ in $ E \backslash \{0\}$ and differential str…
Extreme non-differentiability of typical Lipschitz mappings
研究显示，无论给定规范空间的子集如何，典型1-Lipschitz映射在强意义上在集合的典型点处非可导，且在任意小尺度上导数比近似任意线性算子。
We study the numerical radius of Lipschitz operators on Banach spaces via the Lipschitz numerical index, which is an analogue of the numerical index in Banach space theory. We give a characterization of the numerical radius and obtain a necessary and sufficient condition for Banach spaces to have Lipschitz numerical index 1. As an application, we show that real lush spaces and $C$-rich subspaces have Lipschitz numerical index 1. Moreover, using the G$\hat{a}$teaux differentiability of Lipschitz operators, we characterize the Lipschitz numerical index of separable Banach spaces with the RNP. Fi…
Shortcut Laakso spaces, pure PI unrectifiability and differentiability of Lipschitz functions
该研究构造了纯PI不可 rectifiable 的Lipschitz可微空间族，探究捷径度量空间的几何并刻画其PI可 rectifiability 与Y-LDS性质，验证Laakso空间满足相关假设。
Let $\mathcal{L}(X;Y)$ be the space of bounded linear operators from a Banach space $X$ to a Banach space $Y$. Given an operator-valued function $u:\mathbb{R}_{\geq 0}\rightarrow \mathcal{L}(X;Y)$, suppose that every orbit $t\mapsto u(t)x$ has a regularity property (e.g. continuity, differentiability, etc.) on some interval $(t_x,\infty)$ in general depending on $x\in X$. In this paper we develop an abstract set-up based on Baire-type arguments which allows, under certain conditions, removing the dependency on $x$ systematically. Afterwards, we apply this theoretical framework to several diffe…
Given the abstract evolution equation \[ y'(t)=Ay(t),\ t\in \mathbb{R}, \] with scalar type spectral operator $A$ in a complex Banach space, found are conditions necessary and sufficient for all weak solutions of the equation, which a priori need not be strongly differentiable, to be strongly infinite differentiable on $\mathbb{R}$. The important case of the equation with a normal operator $A$ in a complex Hilbert space is obtained immediately as a particular case. Also, proved is the following inherent smoothness improvement effect explaining why the case of the strong finite differentiabilit…
Let $S$ be a closed subset of a Banach space $X$. Assuming that $S$ is epi-Lipschitzian at $\bar{x}$ in the boundary $ \bd S$ of $S$, we show that $S$ is strictly Hadamard differentiable at $\bar{x}$ IFF the Clarke tangent cone $T(S, \bar{x})$ to $S$ at $\bar{x}$ contains a closed hyperplane IFF the Clarke tangent cone $T(\bd S, \bar{x})$ to $\bd S$ at $\bar{x}$ is a closed hyperplane. Moreover when $X$ is of finite dimension, $Y$ is a Banach space and $g: X \mapsto Y$ is a locally Lipschitz mapping around $\bar{x}$, we show that $g$ is strictly Hadamard differentiable at $\bar{x}$ IFF $T(\mat…
Let $T:Y\to X$ be a bounded linear operator between two normed spaces. We characterize compactness of $T$ in terms of differentiability of the Lipschitz functions defined on $X$ with values in another normed space $Z$. Furthermore, using a similar technique we can also characterize finite rank operators in terms of differentiability of a wider class of functions but still with Lipschitz flavour. As an application we obtain a Banach-Stone-like theorem. On the other hand, we give an extension of a result of Bourgain and Diestel related to limited operators and cosingularity.
Bochner Partial Derivatives, Cheeger-Kleiner Differentiability, and Non-Embedding
该研究在庞加莱不等式空间中定义含次黎曼Heisenberg群的Cheeger分形类，证明此类分形无法双Lipschitz嵌入满足特定Bochner偏导数条件的Banach空间，拓展了Creutz和Evseev的相关成果。
The differentiation theory of Lipschitz functions taking values in a Banach space with the Radon-Nikodým property (RNP), originally developed by Cheeger-Kleiner, has proven to be a powerful tool to prove non-biLipschitz embeddability of metric spaces into these Banach spaces. Important examples of metric spaces to which this theory applies include nonabelian Carnot groups and Laakso spaces. In search of a metric characterization of the RNP, Ostrovskii found another class of spaces that do not biLipschitz embed into RNP spaces, namely spaces containing thick families of geodesics. Our first res…
Directional Differentiability of the Metric Projection in Bochner Spaces
本文在一致凸且一致光滑的 Bochner 空间 Lp(S;X) 中研究子空间、闭球与柱体上度量投影的方向可微性，并给出方向导数的精确表达式。
A survey on the Asplund property for spaces $C(X)$ of continuous functions
本综述为局部凸空间中的 Asplund 性质建立统一框架，完全刻画了连续函数空间 $C_k(X)$ 的 Asplund 性质，并用纯拓扑方法重新证明了经典结果。
A complete characterization of smoothness in the space of bounded linear operators
本文利用 Birkhoff-James 正交性和半内积，通过范数化序列首次完整刻画了有界线性算子的光滑性，并证明在特定 Banach 空间条件下紧算子的 Gâteaux 可微性与 Fréchet 可微性等价。
In this paper we develop two types of tools to deal with differentiability properties of vectors in continuous representations $π\: G \to \GL(V)$ of an infinite dimensional Lie group $G$ on a locally convex space $V$. The first class of results concerns the space $V^\infty$ of smooth vectors. If $G$ is a Banach--Lie group, we define a topology on the space $V^\infty$ of smooth vectors for which the action of $G$ on this space is smooth. If $V$ is a Banach space, then $V^\infty$ is a Fréchet space. This applies in particular to $C^*$-dynamical systems $(\cA,G, α)$, where $G$ is a Banach--Lie gr…
We prove a separable reduction theorem for sigma-porosity of Suslin sets. In particular, if A is a Suslin subset in a Banach space X, then each separable subspace of X can be enlarged to a separable subspace V such that A is sigma-porous in X if and only if the intersection of A and V is sigma-porous in V. Such a result is proved for several types of sigma-porosity. The proof is done using the method of elementary submodels, hence the results can be combined with other separable reduction theorems. As an application we extend a theorem of L.Zajicek on differentiability of Lipschitz functions o…
Let n>2 and X be a Banach space of dimension strictly greater than n. We show there exists a directionally porous set P in X for which the set of C^1 surfaces of dimension n meeting P in positive measure is not meager. If X is separable this leads to a decomposition of X into a countable union of directionally porous sets and a set which is null on residually many C^1 surfaces of dimension n. This is of interest in the study of certain classes of null sets used to investigate differentiability of Lipschitz functions on Banach spaces.
This paper is concerned with the differential sensitivity analysis of variational inequalities in Banach spaces whose solution operators satisfy a generalized Lipschitz condition. We prove a sufficient criterion for the directional differentiability of the solution map that turns out to be also necessary for elliptic variational inequalities in Hilbert spaces (even in the presence of asymmetric bilinear forms, nonlinear operators and nonconvex functionals). In contrast to classical results, our method of proof does not rely on Attouch's theorem on the characterization of Mosco convergence but …
The article is a survey related to a classical unsolved problem in Banach space theory, appearing in Banach's famous book in 1932, and known as the Mazur rotations problem. Although the problem seems very difficult and rather abstract, its study sheds new light on the importance of norm symmetries of a Banach space, demonstrating sometimes unexpected connections with renorming theory and differentiability in functional analysis, with topological group theory and the theory of representations, with the area of amenability, with Fraïssé theory and Ramsey theory, and led to development of concept…
This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V=L^1 where differentiability fails. We establish another kind of differentiability for certain X, including R^n and H, the Heisenberg group with its Carnot-Cartheodory metric. It follows that H does not bi-Lipschitz embed into L^1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counter example to the Goemans-Linial…
Asplund spaces and the finest locally convex topology
本文在局部凸空间框架下研究Asplund性质，证明自由局部凸空间非GDS且无无限维Baire子空间，并给出quojection的Asplund等价条件。
The product of a weak Asplund space and a one-dimensional space is a weak Asplund space: over 45 years of open problem solved
该研究证明弱Asplund空间与一维空间的乘积仍为弱Asplund空间，结合博弈论、极大单调算子等方法，历时45年解决了Larman与Phelps提出的开放问题。
Subdifferentials of Convex Operators Valued in the Space of Integrable Functions with Application to Risk-Averse Optimization
本文研究取值于Lc_p空间的凸算子及其与单调凸泛函复合的次微分，提出基于局部性质的新工具，并应用于带部分信息和随机占优约束的风险规避随机优化问题，导出新的次微分最优性条件。
On the product of Weak Asplund locally convex spaces
本研究系统梳理局部凸空间中可微空间与Asplund类空间的等价定义，推广Mazur定理得到可分Baire局部凸空间与可分Fréchet空间族乘积为弱Asplund空间，并证明Banach空间族乘积及Σ-乘积的Asplund性质等价于各因子空间的Asplund性质。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。